|
| | Preview | Author(s) | Title | Type | Issue Date |
| 481 | | Bonutti, Alex ; Ceschia, Sara ; De Cesco, Fabio ; Musliu, Nysret ; Schaerf, Andrea | Modeling and solving a real-life multi-skill shift design problem | Artikel Article  | 2017 |
| 482 | | Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard | The Impact of Treewidth on {ASP} Grounding and Solving | Konferenzbeitrag Inproceedings | 2017 |
| 483 | | Maly, Jan ; Woltran, Stefan | Ranking Specific Sets of Objects | Konferenzbeitrag Inproceedings | 2017 |
| 484 | | Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel | Winner Determination in Huge Elections with MapReduce. AAAI 2017: 451-458 | Konferenzbeitrag Inproceedings | 2017 |
| 485 | | Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Loitzenbauer, Veronika | Improved Set-based Symbolic Algorithms for Parity Games | Konferenzbeitrag Inproceedings | 2017 |
| 486 | | Erkinger, Christoph ; Musliu, Nysret | Personnel Scheduling as Satisfiability Modulo Theories | Konferenzbeitrag Inproceedings | 2017 |
| 487 | | Charwat, Günther ; Woltran, Stefan | Expansion-based (QBF) Solving on Tree Decompositions | Konferenzbeitrag Inproceedings | 2017 |
| 488 | | Medina, Jesús ; Pichler, Reinhard | Fuzzy data exchange | Artikel Article | 15-Oct-2016 |
| 489 | | Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Managing Change in Graph-Structured Data Using Description Logics | Präsentation Presentation | 2016 |
| 490 | | Barcelo, Pablo ; Gottlob, Georg ; Pieris, Andreas | Semantic Acyclicity Under Constraints | Konferenzbeitrag Inproceedings | 2016 |
| 491 | | Woltran, Stefan | Dynamic Programming on Tree Decompositions in Practice | Präsentation Presentation | 2016 |
| 492 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | Bericht Report | 2016 |
| 493 | | Charwat, Günther ; Woltran, Stefan | BDD-based Dynamic Programming on Tree Decompositions | Bericht Report | 2016 |
| 494 | | Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan | Treewidth-Preserving Modeling in ASP | Bericht Report | 2016 |
| 495 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | htd -- A Free, Open-Source Framework for Tree Decompositions and Beyond | Bericht Report | 2016 |
| 496 | | Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan | Multiparametric View on Answer Set Programming | Bericht Report | 2016 |
| 17 | | Fichte, Johannes ; Szeider, Stefan | Backdoor Trees for Answer Set Programming | Bericht Report | 2016 |
| 18 | | Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 System | Bericht Report | 2016 |
| 19 | | Kröll, Markus ; Pichler, Reinhard ; Skritek, Sebastian | On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees | Konferenzbeitrag Inproceedings | 2016 |
| 20 | | Bliem, Bernhard ; Woltran, Stefan | Equivalence Between Answer-Set Programs Under (Partially) Fixed Input | Konferenzbeitrag Inproceedings | 2016 |
