Martin Kronegger

According to our database, Martin Kronegger authored at least 13 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

A multiparametric view on answer set programming.

Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran

Ann. Math. Artif. Intell., 2019

Parameterized Complexity of Asynchronous Border Minimization.

Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa

Algorithmica, 2019

Backdoors to planning.

Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler

Artif. Intell., 2019

2017

Conformant planning as a case study of incremental QBF solving.

Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler

Ann. Math. Artif. Intell., 2017

2015

Intra- and interdiagram consistency checking of behavioral multiview models.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Comput. Lang. Syst. Struct., 2015

Fixed-Parameter Tractable Reductions to SAT for Planning.

Ronald de Haan, Martin Kronegger, Andreas Pfandler

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Variable-Deletion Backdoors to Planning.

Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Proceedings of the Software Language Engineering - 7th International Conference, 2014

A Parameterized Complexity Analysis of Generalized CP-Nets.

Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

VCWC: A Versioning Competition Workflow Compiler.

Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The Fourth Answer Set Programming Competition: Preliminary Report.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Parameterized Complexity of Optimal Planning: A Detailed Map.

Martin Kronegger, Andreas Pfandler, Reinhard Pichler

Proceedings of the IJCAI 2013, 2013