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]
@inproceedings{LierlerM03,
title = {Computing Answer Sets of a Logic Program via-enumeration of SAT certificates},
author = {Yuliya Lierler and Marco Maratea},
year = {2003},
url = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS//Vol-78/asp03-final-lierler.pdf},
tags = {certification, logic programming, logic},
researchr = {https://researchr.org/publication/LierlerM03},
cites = {0},
citedby = {0},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP 03 Workshop, Messina, Italy, September 26-28, 2003},
editor = {Marina De Vos and Alessandro Provetti},
volume = {78},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}