On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Enrico Giunchiglia' in GoogleThis author has not been identified. Look up 'Marco Maratea' in Google

runs on WebDSL