Martin Kronegger

19 papers A* 5B 3C 1Misc 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2019 J jnl
A multiparametric view on answer set programming.
Ann. Math. Artif. Intell.
Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran
2019 J jnl
Backdoors to planning.
Artif. Intell.
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
2019 J jnl
Parameterized Complexity of Asynchronous Border Minimization.
Algorithmica
Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
2017 — conf
A Multiparametric View on Answer Set Programming.
ASPOCP@LPNMR
Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran
2017 J jnl
Conformant planning as a case study of incremental QBF solving.
Ann. Math. Artif. Intell.
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
2015 A* conf
Fixed-Parameter Tractable Reductions to SAT for Planning.
IJCAI
Ronald de Haan, Martin Kronegger, Andreas Pfandler
2015 J jnl
Intra- and interdiagram consistency checking of behavioral multiview models.
Comput. Lang. Syst. Struct.
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2015 C conf
Parameterized Complexity of Asynchronous Border Minimization.
TAMC
Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
2015 J jnl
Parameterized Complexity of Asynchronous Border Minimization.
CoRR
Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa
2015 A* conf
Variable-Deletion Backdoors to Planning.
AAAI
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
2014 A* conf
A Parameterized Complexity Analysis of Generalized CP-Nets.
AAAI
Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler
2014 B conf
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams.
SLE
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2014 A* conf
Backdoors to Planning.
AAAI
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
2014 Misc conf
Conformant Planning as a Case Study of Incremental QBF Solving.
AISC
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
2014 J jnl
Conformant Planning as a Case Study of Incremental QBF Solving.
CoRR
Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
2013 — conf
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.
MoDeVVa@MoDELS
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2013 A* conf
Parameterized Complexity of Optimal Planning: A Detailed Map.
IJCAI
Martin Kronegger, Andreas Pfandler, Reinhard Pichler
2013 B conf
The Fourth Answer Set Programming Competition: Preliminary Report.
LPNMR
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
2013 B conf
VCWC: A Versioning Competition Workflow Compiler.
LPNMR
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao