Backdoor Trees for Answer Set Programming

Abstract

Full Citation:

Johannes Klaus Fichte, Stefan Szeider. Backdoor Trees for Answer Set Programming. Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. (Bart Bogaerts and Amelia Harrison), volume 1868 of CEUR Workshop Proceedings, 2017, CEUR-WS.org.

Stefan Szeider

Head of Research Unit

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