by Johannes Klaus Fichte, Stefan Szeider
Reference:
Backdoor Trees for Answer Set ProgrammingJohannes Klaus Fichte, Stefan SzeiderProceedings 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, Amelia Harrison, eds.), volume 1868 of CEUR Workshop Proceedings, 2017, CEUR-WS.org.
Bibtex Entry:
@inproceedings{FichteSzeider17,
author = {Johannes Klaus Fichte and
Stefan Szeider},
title = {Backdoor Trees for Answer Set Programming},
booktitle = {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.},
editor = {Bart Bogaerts and
Amelia Harrison},
series = {{CEUR} Workshop Proceedings},
volume = {1868},
publisher = {CEUR-WS.org},
year = {2017},
url = {http://ceur-ws.org/Vol-1868},
}