Searching for "Improving Exact Algorithms for MAX-2-SAT." – 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.

Improving exact algorithms for MAX-2-SAT
by Haiou Shen, Hantao Zhang — 2005 — Annals of Mathematics and Artificial Intelligence
…Improving Exact Algorithms for MAX-2-SAT ∗ Haiou Shen, Hantao Zhang Computer Science Department…
Cited by 6 (0 self) – Add To MetaCart

Eighth International Symposium on
by Artificial Intelligence And, Martin Golumbic, Peter Van Beek, Endre Boros (rutgers, Adnan Darwiche (ucla, Boi Faltings (epfl, John Franco (u. Of Cincinnati, George Katsirelos, Stefan Boettcher, Gabriel Istrate, Allon G. Percus
… Negotiation Actions Angelo Restificar and Peter Haddawy Improving Exact Algorithms for MAX-2-SAT Haiou Shen…
Add To MetaCart

Showing 1 through 2.

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