Backdoors to Tractable Answer-Set Programming

Johannes Klaus Fichte, Stefan Szeider
January 2011
bib

Abstract

Full Citation:

Johannes Klaus Fichte, Stefan Szeider. Backdoors to Tractable Answer-Set Programming. Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Toby Walsh), pages 863-868, 2011, AAAI Press/IJCAI.

Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.