Searching for "A Logical Approach to Efficient Max-SAT solving" – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

A logical approach to efficient Max-SAT solving
by Javier Larrosa, Federico Heras, Simon Givry — 2007 — Artificial Intelligence
…A Logical Approach to Efficient Max-SAT solving ⋆ Abstract Javier Larrosa a Federico Heras b Simon…
Cited by 2 (1 self) – Add To MetaCart

unknown title
by unknown authors — 2007
… to efficient Max-SAT solving ✩ Javier Larrosa a,∗ , Federico Heras a , Simon de Givry b a Universitat…
Add To MetaCart

Showing 1 through 2.

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