|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Schidler, Andre ; Szeider, Stefan | SAT-boosted tabu search for coloring massive graphs | Article Artikel    | Dec-2023 |
| 2 |  | Hozzova, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei | Program Synthesis in Saturation | Inproceedings Konferenzbeitrag | 2-Sep-2023 |
| 3 |  | 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 | 1-Jul-2023 |
| 4 |  | Bernreiter, Michael ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | The Effect of Preferences in Abstract Argumentation under a Claim-Centric View | Inproceedings Konferenzbeitrag | 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 | 3-Jun-2023 |
| 6 |  | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Contextual Reasoning for Scene Generation. Technical Report | Report Bericht | 3-May-2023 |
| 7 |  | Schidler, André ; Szeider, Stefan | Computing Twin-width with SAT and Branch & Bound | Inproceedings Konferenzbeitrag | 2023 |
| 8 |  | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures | Inproceedings Konferenzbeitrag | 2023 |
| 9 |  | Kiesel, Rafael ; Eiter, Thomas | Knowledge Compilation and More with SharpSAT-TD | Inproceedings Konferenzbeitrag | 2023 |
| 10 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei | Getting Saturated with Induction | Book Contribution Buchbeitrag | 29-Dec-2022 |
| 11 |  | Bhayat, Ahmed ; Georgiou, Pamina ; Eisenhofer, Clemens ; Kovács, Laura ; Reger, Giles | Lemmaless Induction in Trace Logic | Inproceedings Konferenzbeitrag | 2022 |
| 12 | | Saribatur, Zeynep G. ; Eiter, Thomas ; Schüller, Peter | Abstraction for non-ground answer set programs | Artikel Article | 2021 |
| 13 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings | 2021 |
| 14 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings | 2021 |
| 15 | | Saribatur, Zeynep Gözen ; Wallner, Johannes Peter ; Woltran, Stefan | Explaining Non-Acceptability in Abstract Argumentation | Konferenzbeitrag Inproceedings | 2020 |
| 16 | | Dvorak, Wolfgang ; Gaggl, Sarah Alice ; Rapberger, Anna ; Wallner, Johannes Peter ; Woltran, Stefan | The ASPARTIX system suite | Konferenzbeitrag Inproceedings | 2020 |
| 17 | | Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs | Konferenzbeitrag Inproceedings | 2020 |
| 18 | | Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. | Proportional Belief Merging | Konferenzbeitrag Inproceedings | 2020 |
| 19 | | Diller, Martin ; Keshavarzi Zafarghandi, Atefeh ; Linsbichler, Thomas ; Woltran, Stefan | Investigating subclasses of abstract dialectical frameworks | Artikel Article | 2020 |
