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]
Abstract is missing.