Searching for "On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

M.: On the relation between answer set and SAT procedures (or, between cmodels and smodels
by Enrico Giunchiglia, Marco Maratea — 2005 — Proceedings of the Twentyfirst International Conference on Logic Programming
…On the relation between Answer Set and SAT procedures (or, between CMODELS and SMODELS) Enrico…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB