SAT-Based Answer Set Programming

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea. SAT-Based Answer Set Programming. In Deborah L. McGuinness, George Ferguson, editors, Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA. pages 61-66, AAAI Press / The MIT Press, 2004.

Abstract

Abstract is missing.