|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel    | 11-Nov-2024 |
| 2 |  | AL-Zu'bi, Mai ; Weissenbacher, Georg | Statistical Profiling of Micro-Architectural Traces and Machine Learning for Spectre Detection: A Systematic Evaluation | Inproceedings Konferenzbeitrag | 10-Jun-2024 |
| 3 |  | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Peter David | aspmc: New frontiers of algebraic answer set counting | Article Artikel | May-2024 |
| 4 |  | Schidler, Andre ; Szeider, Stefan | SAT-boosted tabu search for coloring massive graphs | Article Artikel | Dec-2023 |
| 5 |  | Hozzová, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei | Program Synthesis in Saturation | Inproceedings Konferenzbeitrag | 2-Sep-2023 |
| 6 |  | 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 |
| 7 |  | Bernreiter, Michael ; Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | The Effect of Preferences in Abstract Argumentation under a Claim-Centric View | Inproceedings Konferenzbeitrag | 26-Jun-2023 |
| 8 | | Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 9 |  | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Contextual Reasoning for Scene Generation. Technical Report | Preprint Preprint | 3-May-2023 |
| 10 |  | Kiesel, Rafael ; Eiter, Thomas | Knowledge Compilation and More with SharpSAT-TD | Inproceedings Konferenzbeitrag | 2023 |
| 11 |  | Schidler, André ; Szeider, Stefan | Computing Twin-width with SAT and Branch & Bound | Inproceedings Konferenzbeitrag | 2023 |
| 12 |  | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures | Inproceedings Konferenzbeitrag | 2023 |
| 13 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei | Getting Saturated with Induction | Book Contribution Buchbeitrag | 29-Dec-2022 |
| 14 |  | Bhayat, Ahmed ; Georgiou, Pamina ; Eisenhofer, Clemens ; Kovács, Laura ; Reger, Giles | Lemmaless Induction in Trace Logic | Inproceedings Konferenzbeitrag | 2022 |
| 15 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings | 2021 |
| 16 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings | 2021 |
| 17 | | Saribatur, Zeynep G. ; Eiter, Thomas ; Schüller, Peter | Abstraction for non-ground answer set programs | Artikel Article | 2021 |
| 18 | | Diller, Martin ; Keshavarzi Zafarghandi, Atefeh ; Linsbichler, Thomas ; Woltran, Stefan | Investigating subclasses of abstract dialectical frameworks | Artikel Article | 2020 |
| 19 | | Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs | Konferenzbeitrag Inproceedings | 2020 |
| 20 | | Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. | Proportional Belief Merging | Konferenzbeitrag Inproceedings | 2020 |
