Yuliya Lierler, Marco Maratea. Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. In Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP 03 Workshop, Messina, Italy, September 26-28, 2003. Volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.