Published 2005
| Version v1
Publication
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)
- Creators
- GIUNCHIGLIA, ENRICO
- MARATEA, MARCO
- Others:
- Giunchiglia, Enrico
- Maratea, Marco
Additional details
- URL
- http://hdl.handle.net/11567/259342
- URN
- urn:oai:iris.unige.it:11567/259342
- Origin repository
- UNIGE