Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran. A New Tree-Decomposition Based Algorithm for Answer Set Programming. In IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011. pages 916-918, IEEE, 2011. [doi]
@inproceedings{MorakMPRW11,
title = {A New Tree-Decomposition Based Algorithm for Answer Set Programming},
author = {Michael Morak and Nysret Musliu and Reinhard Pichler and Stefan Rümmele and Stefan Woltran},
year = {2011},
doi = {10.1109/ICTAI.2011.154},
url = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.154},
researchr = {https://researchr.org/publication/MorakMPRW11},
cites = {0},
citedby = {0},
pages = {916-918},
booktitle = {IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011},
publisher = {IEEE},
isbn = {978-1-4577-2068-0},
}