|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Schidler, André ; Szeider, Stefan | Computing optimal hypertree decompositions with SAT | Article Artikel    | Dec-2023 |
| 2 |  | Schidler, Andre ; Szeider, Stefan | SAT-boosted tabu search for coloring massive graphs | Article Artikel | Dec-2023 |
| 3 |  | Schidler, André | Scalability for SAT-based combinatorial problem solving | Thesis Hochschulschrift | 2023 |
| 4 | | Kiesel, Rafael ; Schidler, André | A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets | Inproceedings Konferenzbeitrag | 2023 |
| 5 |  | Schidler, André ; Szeider, Stefan | Computing Twin-width with SAT and Branch & Bound | Inproceedings Konferenzbeitrag | 2023 |
| 6 | | Kiesel, Rafael ; Schidler, André | PACE Solver Description: DAGer – Cutting out Cycles with MaxSAT | Inproceedings Konferenzbeitrag | 1-Dec-2022 |
| 7 |  | Ganian, Robert ; Schidler, André ; Sorge, Manuel ; Szeider, Stefan | Threshold Treewidth and Hypertree Width | Article Artikel | 10-Aug-2022 |
| 8 |  | Ganian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan | Weighted Model Counting with Twin-Width | Inproceedings Konferenzbeitrag | 28-Jul-2022 |
| 9 |  | 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 |
| 10 |  | Schidler, André | SAT-Based Local Search for Plane Subgraph Partitions | Inproceedings Konferenzbeitrag | 1-Jun-2022 |
| 11 | | Schidler, André ; Szeider, Stefan | A SAT Approach to Twin-Width | Inproceedings Konferenzbeitrag | 2022 |