Backdoors to Tractable Answer-Set Programming

Abstract

Full Citation:

Johannes Klaus Fichte, Stefan Szeider. Backdoors to Tractable Answer-Set Programming. 2012, Technical report 1104.2788, Arxiv.org. (Note: Extended and updated version of a paper that appeared in the proceedings of IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence)

Stefan Szeider

Head of Research Unit

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