On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).

Enrico Giunchiglia, Marco Maratea

Browse the full ICLP paper archive.