Martin Kronegger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2013–2017
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | LPNMR | A Multiparametric View on Answer Set Programming. | Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran |
| 2015 | AAAI | Variable-Deletion Backdoors to Planning. | Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler |
| 2015 | IJCAI | Fixed-Parameter Tractable Reductions to SAT for Planning. | Ronald de Haan, Martin Kronegger, Andreas Pfandler |
| 2015 | TAMC | Parameterized Complexity of Asynchronous Border Minimization. | Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa |
| 2014 | AAAI | A Parameterized Complexity Analysis of Generalized CP-Nets. | Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler |
| 2014 | AAAI | Backdoors to Planning. | Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler |
| 2014 | AISC | Conformant Planning as a Case Study of Incremental QBF Solving. | Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler |
| 2014 | SLE | A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
| 2013 | IJCAI | Parameterized Complexity of Optimal Planning: A Detailed Map. | Martin Kronegger, Andreas Pfandler, Reinhard Pichler |
| 2013 | LPNMR | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | LPNMR | VCWC: A Versioning Competition Workflow Compiler. | Gnther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | MODELS | Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |