|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan | A Reduct-Driven Study of Argumentation Frameworks With Collective Attacks | Präsentation Presentation | 2021 |
| 2 | | Hecher, Markus | Treewidth-Aware Reductions of normal ASP to SAT - Is normal ASP harder than SAT after all? | Präsentation Presentation | 2020 |
| 3 | | Everardo, Flavio ; Hecher, Markus ; Shukla, Ankit | Extending XORRO with Approximate Model Counting | Präsentation Presentation | 2020 |
| 4 | | Hecher, Markus ; Thier, Patrick ; Woltran, Stefan | Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology | Präsentation Presentation | 2020 |
| 5 | | Woltran, Stefan | Dynamic Programming on Tree Decompositions in Practice | Präsentation Presentation | 2016 |
| 6 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | Bericht Report | 2016 |
| 7 | | Charwat, Günther ; Woltran, Stefan | BDD-based Dynamic Programming on Tree Decompositions | Bericht Report | 2016 |
| 8 | | Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan | Treewidth-Preserving Modeling in ASP | Bericht Report | 2016 |
| 9 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | htd -- A Free, Open-Source Framework for Tree Decompositions and Beyond | Bericht Report | 2016 |
| 10 | | Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan | Multiparametric View on Answer Set Programming | Bericht Report | 2016 |
| 11 | | Fichte, Johannes ; Szeider, Stefan | Backdoor Trees for Answer Set Programming | Bericht Report | 2016 |
| 12 | | Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 System | Bericht Report | 2016 |
| 13 | | Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan | D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy | Bericht Report | 2015 |
