Inproceedings,

Backdoor Trees for Answer Set Programming.

, and .
ASPOCP@LPNMR, volume 1868 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews