Enrico Giunchiglia, Marco Maratea. On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). In Maurizio Gabbrielli, Gopal Gupta, editors, Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Volume 3668 of Lecture Notes in Computer Science, pages 37-51, Springer, 2005. [doi]
@inproceedings{GiunchigliaM05:0,
title = {On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)},
author = {Enrico Giunchiglia and Marco Maratea},
year = {2005},
doi = {10.1007/11562931_6},
url = {http://dx.doi.org/10.1007/11562931_6},
researchr = {https://researchr.org/publication/GiunchigliaM05%3A0},
cites = {0},
citedby = {0},
pages = {37-51},
booktitle = {Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings},
editor = {Maurizio Gabbrielli and Gopal Gupta},
volume = {3668},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-29208-X},
}