Backdoor Trees for Answer Set Programming

Fichte, Johannes Klaus; Szeider, Stefan

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},
}