| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | ![Schidler-2023-ACM Journal on Experimental Algorithmics-vor.pdf.jpg](/retrieve/305046/Schidler-2023-ACM%20Journal%20on%20Experimental%20Algorithmics-vor.pdf.jpg) | Schidler, Andre ; Szeider, Stefan | SAT-boosted tabu search for coloring massive graphs | Article Artikel ![Volltext verfügbar](/image/Volltext_Icon.png) | Dec-2023 |
| 2 | ![Hozzova-2023-Program Synthesis inSaturation-vor.pdf.jpg](/retrieve/309396/Hozzova-2023-Program%20Synthesis%20inSaturation-vor.pdf.jpg) | Hozzová, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei | Program Synthesis in Saturation | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2-Sep-2023 |
| 3 | ![Correa-2023-Grounding Planning Tasks Using Tree Decompositions and Iterat...-vor.pdf.jpg](/retrieve/304397/Correa-2023-Grounding%20Planning%20Tasks%20Using%20Tree%20Decompositions%20and%20Iterat...-vor.pdf.jpg) | Corrêa, Augusto ; Hecher, Markus ; Helmert, Malte ; Longo, Davide Mario ; Pommerening, Florian ; Woltran, Stefan | Grounding Planning Tasks Using Tree Decompositions and Iterated Solving | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 1-Jul-2023 |
| 4 | ![Bernreiter-2023-The Effect of Preferences in Abstract Argumentation under...-vor.pdf.jpg](/retrieve/304409/Bernreiter-2023-The%20Effect%20of%20Preferences%20in%20Abstract%20Argumentation%20under...-vor.pdf.jpg) | Bernreiter, Michael ; Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | The Effect of Preferences in Abstract Argumentation under a Claim-Centric View | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 26-Jun-2023 |
| 5 | | Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 3-Jun-2023 |
| 6 | ![BOZZATO-2023-Contextual Reasoning for Scene Generation Technical Report-vor.pdf.jpg](/retrieve/305889/BOZZATO-2023-Contextual%20Reasoning%20for%20Scene%20Generation%20Technical%20Report-vor.pdf.jpg) | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Contextual Reasoning for Scene Generation. Technical Report | Report Bericht ![Volltext verfügbar](/image/Volltext_Icon.png) | 3-May-2023 |
| 7 | ![Kiesel-2023-Knowledge Compilation and More with SharpSAT-TD-vor.pdf.jpg](/retrieve/305382/Kiesel-2023-Knowledge%20Compilation%20and%20More%20with%20SharpSAT-TD-vor.pdf.jpg) | Kiesel, Rafael ; Eiter, Thomas | Knowledge Compilation and More with SharpSAT-TD | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2023 |
| 8 | ![BOZZATO-2023-Semantically Guided Scene Generation via Contextual Reasonin...-vor.pdf.jpg](/retrieve/305090/BOZZATO-2023-Semantically%20Guided%20Scene%20Generation%20via%20Contextual%20Reasonin...-vor.pdf.jpg) | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2023 |
| 9 | ![Schidler-2023-Computing Twin-width with SAT and Branch Bound-vor.pdf.jpg](/retrieve/305185/Schidler-2023-Computing%20Twin-width%20with%20SAT%20and%20Branch%20%20Bound-vor.pdf.jpg) | Schidler, André ; Szeider, Stefan | Computing Twin-width with SAT and Branch & Bound | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2023 |
| 10 | ![Hajdu-2022-Getting Saturated withInduction-am.pdf.jpg](/retrieve/309400/Hajdu-2022-Getting%20Saturated%20withInduction-am.pdf.jpg) | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei | Getting Saturated with Induction | Book Contribution Buchbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 29-Dec-2022 |
| 11 | ![Bhayat-2022-Lemmaless Induction inTrace Logic-am.pdf.jpg](/retrieve/308583/Bhayat-2022-Lemmaless%20Induction%20inTrace%20Logic-am.pdf.jpg) | Bhayat, Ahmed ; Georgiou, Pamina ; Eisenhofer, Clemens ; Kovács, Laura ; Reger, Giles | Lemmaless Induction in Trace Logic | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2022 |
| 12 | | Saribatur, Zeynep G. ; Eiter, Thomas ; Schüller, Peter | Abstraction for non-ground answer set programs | Artikel Article ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |
| 13 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |
| 14 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |
| 15 | | Saribatur, Zeynep Gözen ; Wallner, Johannes Peter ; Woltran, Stefan | Explaining Non-Acceptability in Abstract Argumentation | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2020 |
| 16 | | Dvorak, Wolfgang ; Gaggl, Sarah Alice ; Rapberger, Anna ; Wallner, Johannes Peter ; Woltran, Stefan | The ASPARTIX system suite | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2020 |
| 17 | | Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2020 |
| 18 | | Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. | Proportional Belief Merging | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2020 |
| 19 | | Diller, Martin ; Keshavarzi Zafarghandi, Atefeh ; Linsbichler, Thomas ; Woltran, Stefan | Investigating subclasses of abstract dialectical frameworks | Artikel Article ![peer reviewed](/image/PeerReview_Icon.png) | 2020 |