Computing Answer Sets of a Logic Program via-enumeration of SAT certificates

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]

Abstract

Abstract is missing.