| | 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 | | Schidler, André ; Szeider, Stefan | Computing optimal hypertree decompositions with SAT | Article Artikel | Dec-2023 |
| 3 | | Dreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan | CSP beyond tractable constraint languages | Article Artikel | Sep-2023 |
| 4 | | Kirchweger, Markus ; Peitl, Tomas ; Szeider, Stefan | A SAT Solver's Opinion on the Erdos-Faber-Lovász Conjecture | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 5 | | Markus Kirchweger ; Scheucher, Manfred ; Stefan Szeider | SAT-Based Generation of Planar Graphs | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 6 | | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | IPASIR-UP: User Propagators for CDCL | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 7 | | Schidler, André ; Szeider, Stefan | Computing Twin-width with SAT and Branch & Bound | Inproceedings Konferenzbeitrag | 2023 |
| 8 | | Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan | Finding a Cluster in Incomplete Data | Inproceedings Konferenzbeitrag | 1-Sep-2022 |
| 9 | | Dreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan | SAT Backdoors: Depth Beats Size | Inproceedings Konferenzbeitrag | 1-Sep-2022 |
| 10 | | Ganian, Robert ; Schidler, André ; Sorge, Manuel ; Szeider, Stefan | Threshold Treewidth and Hypertree Width | Article Artikel | 10-Aug-2022 |
| 11 | | Ganian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan | Weighted Model Counting with Twin-Width | Inproceedings Konferenzbeitrag | 28-Jul-2022 |
| 12 | | Kirchweger, Markus ; Scheucher, Manfred ; Szeider, Stefan | A SAT Attack on Rota’s Basis Conjecture | Inproceedings Konferenzbeitrag | 28-Jul-2022 |
| 13 | | Dvořák, Wolfgang ; Hecher, Markus ; König, Matthias ; Schidler, Andre ; Szeider, Stefan ; Woltran, Stefan | Tractable Abstract Argumentation via Backdoor-Treewidth | Inproceedings Konferenzbeitrag | 28-Jun-2022 |
| 14 | | Schidler, André | SAT-Based Local Search for Plane Subgraph Partitions | Inproceedings Konferenzbeitrag | 1-Jun-2022 |
| 15 | | Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | Learning Fast-Inference Bayesian Networks | Inproceedings Konferenzbeitrag | 2022 |