Searching for "A Translation of Pseudo Boolean Constraints to SAT." – 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.

Preface to the special volume on the sat 2005 competitions and evaluations
by Daniel Le Berre, Laurent Simon — 2006 — Journal of Satisfiability, Boolean Modeling and Computation (JSAT
… translation of the original problem into SAT. A Translation of Pseudo Boolean Constraints to SAT, page 191…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB