Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub. The nomore++ Approach to Answer Set Solving. In Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP 05 Workshop, Bath, UK, September 27-29, 2005. Volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]
@inproceedings{AngerGLNS05:1,
title = {The nomore++ Approach to Answer Set Solving},
author = {Christian Anger and Martin Gebser and Thomas Linke and André Neumann and Torsten Schaub},
year = {2005},
url = {http://www.ceur-ws.org/Vol-142/page163.pdf},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/AngerGLNS05%3A1},
cites = {0},
citedby = {0},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP 05 Workshop, Bath, UK, September 27-29, 2005},
editor = {Marina De Vos and Alessandro Provetti},
volume = {142},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}