- Record: found
- Abstract: not found
- Book Chapter: not found
Logic Programming
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references14
- Record: found
- Abstract: not found
- Article: not found
Extending and implementing the stable model semantics
Patrik Simons, Ilkka Niemelä, Timo Soininen (2002)
- Record: found
- Abstract: not found
- Article: not found
The intractability of resolution
Armin Haken (1985)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Chaff
Lintao Zhang, Matthew Moskewicz, Conor F. Madigan … (2001)