Backdoor Trees for Answer Set Programming

Johannes Klaus Fichte, Stefan Szeider. Backdoor Trees for Answer Set Programming. In Bart Bogaerts 0001, Amelia Harrison, editors, 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. Volume 1868 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]

Abstract

Abstract is missing.