|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | 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 |
| 2 | | Charwat, Günther ; Woltran, Stefan | Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams | Konferenzbeitrag Inproceedings  | 2015 |
| 3 | | Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan | Shift Design with Answer Set Programming | Konferenzbeitrag Inproceedings | 2015 |
| 4 | | Dusberger, Frederico ; Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | Konferenzbeitrag Inproceedings | 2015 |
| 5 | | Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan | On the Parameterized Complexity of Belief Revision | Konferenzbeitrag Inproceedings | 2015 |
| 6 | | FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN | Dual-normal logic programs - the forgotten class | Artikel Article | 2015 |
| 7 | | GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN | Improved answer-set programming encodings for abstract argumentation | Artikel Article | 2015 |
| 8 | | Charwat, Günther ; Dvořák, Wolfgang ; Gaggl, Sarah A. ; Wallner, Johannes P. ; Woltran, Stefan | Methods for solving reasoning problems in abstract argumentation - A survey | Artikel Article | 2015 |
| 9 | | Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan | D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy | Konferenzbeitrag Inproceedings | 2015 |
| 10 | | Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan | Shift Design with Answer Set Programming | Konferenzbeitrag Inproceedings | 2015 |
