Searching for "Toward leaner binary-clause reasoning in a satisfiability solver." – 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.

Toward Leaner Binary-Clause Reasoning in a Satisfiability Solver
by Allen Van Gelder — 2002 — In: Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT
…Toward Leaner Binary-Clause Reasoning in a Satisfiability Solver Allen Van Gelder 237 B…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 1.

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