Martin Kronegger

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 5

Top Topics

Answer Set Programming

Parameterized Complexity

Fixed Parameter Tractable

Top Venues

Ann. Math. Artif. Intell.

Publications

Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
Backdoors to planning. Artif. Intell. 269 (2019)
Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran
A multiparametric view on answer set programming. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
Parameterized Complexity of Asynchronous Border Minimization. Algorithmica 81 (1) (2019)
Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran
A Multiparametric View on Answer Set Programming. ASPOCP@LPNMR (2017)
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
Conformant planning as a case study of incremental QBF solving. Ann. Math. Artif. Intell. 80 (1) (2017)
Ronald de Haan, Martin Kronegger, Andreas Pfandler
Fixed-Parameter Tractable Reductions to SAT for Planning. IJCAI (2015)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Intra- and interdiagram consistency checking of behavioral multiview models. Comput. Lang. Syst. Struct. 44 (2015)
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
Variable-Deletion Backdoors to Planning. AAAI (2015)
Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
Parameterized Complexity of Asynchronous Border Minimization. CoRR (2015)
Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
Parameterized Complexity of Asynchronous Border Minimization. TAMC (2015)
Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler
A Parameterized Complexity Analysis of Generalized CP-Nets. AAAI (2014)
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
Conformant Planning as a Case Study of Incremental QBF Solving. CoRR (2014)
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
Conformant Planning as a Case Study of Incremental QBF Solving. AISC (2014)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. SLE (2014)
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
Backdoors to Planning. AAAI (2014)
Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR (2013)
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
VCWC: A Versioning Competition Workflow Compiler. LPNMR (2013)
Martin Kronegger, Andreas Pfandler, Reinhard Pichler
Parameterized Complexity of Optimal Planning: A Detailed Map. IJCAI (2013)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. MoDeVVa@MoDELS (2013)