|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Szeider, Stefan | Large and Parallel Human Sorting Networks | Inproceedings Konferenzbeitrag  | 2025 |
| 2 |  | Ait El Manssour, Rida ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Applications | Inproceedings Konferenzbeitrag   | 2025 |
| 3 | | Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan | Parameterized complexity of abstract argumentation with collective attacks | Article Artikel | 2025 |
| 4 | | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | Satisfiability Modulo User Propagators | Article Artikel | 27-Dec-2024 |
| 5 | | Balabán, Jakub ; Ganian, Robert ; Rocton, Mathis Teva | Twin-Width Meets Feedback Edges and Vertex Integrity | Inproceedings Konferenzbeitrag | 5-Dec-2024 |
| 6 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel | 11-Nov-2024 |
| 7 | | Szeider, Stefan | Neurosymbolic AI: Deep Learning and Deep Reasoning | Presentation Vortrag | 1-Nov-2024 |
| 8 | | Szeider, Stefan | SAT modulo Symmetries | Presentation Vortrag | 15-Oct-2024 |
| 9 | | Szeider, Stefan | Structure-Guided Local Improvement for Maximum Satisfiability | Presentation Vortrag | 14-Oct-2024 |
| 10 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Presentation Vortrag | 14-Oct-2024 |
| 11 |  | Eiter, Thomas ; Hadl, Jan ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | Declarative Knowledge Distillation from Large Language Models forVisual Question Answering Datasets | Inproceedings Konferenzbeitrag | 12-Oct-2024 |
| 12 | | Szeider, Stefan | Parameterized Complexity Problems in Explainable AI | Presentation Vortrag | 10-Oct-2024 |
| 13 | | Bernreiter, Michael ; Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | The Effect of Preferences in Abstract Argumentation under a Claim-Centric View | Article Artikel | 23-Sep-2024 |
| 14 | | Ait El Manssour, Rida ; Kenison, George James ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Synthesis | Presentation Vortrag | 19-Sep-2024 |
| 15 | | Sextl, Florian | With Biabduction towards Memory Safety across the Rust-C-FFI | Presentation Vortrag | 17-Sep-2024 |
| 16 | | Nöllenburg, Martin ; Pirker, Christian ; Rapberger, Anna ; Woltran, Stefan ; Wulms, Jules | Visualizing Extensions of Argumentation Frameworks as Layered Graphs | Preprint Preprint | 9-Sep-2024 |
| 17 |  | Ordyniak, Sebastian ; Schidler, Andre ; Szeider, Stefan | Backdoor DNFs | Article Artikel | 1-Sep-2024 |
| 18 |  | Coutelier, Robin ; Fleury, Mathias ; Kovacs, Laura | Lazy Reimplication in Chronological Backtracking | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 19 |  | Eiter, Thomas ; Fichte, Johannes Klaus ; Hecher, Markus ; Woltran, Stefan | Epistemic Logic Programs: Non-Ground and Counting Complexity | Inproceedings Konferenzbeitrag | 9-Aug-2024 |
| 20 |  | Kirchweger, Markus ; Szeider, Stefan | SAT Modulo Symmetries for Graph Generation and Enumeration | Article Artikel | 31-Jul-2024 |
