Martin Kronegger
Dr.techn.

Martin Kronegger

Recent Publications

Fixed-parameter Tractable Reductions to SAT for Planning
Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, July 25–31, 2015, Buenos Aires, Argentina, 2015.
Parameterized Complexity of Asynchronous Border Minimization
Theory and Applications of Models of Computation - 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings (Rahul Jain and Sanjay Jain and Frank Stephan), volume 9076 of Lecture Notes in Computer Science, pages 428-440, 2015, Springer.
Variable-Deletion Backdoors to Planning
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. (Blai Bonet and Sven Koenig), pages 3305-3312, 2015, AAAI Press.
Backdoors to Planning
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. (Carla E. Brodley and Peter Stone), pages 2300-2307, 2014, AAAI Press.