Searching for "The First Evaluation of Pseudo-Boolean Solvers (PB'05)." – 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.

The first evaluation of pseudo-boolean solvers (PB05
by Vasco M. Manquinho, Olivier Roussel — 2006 — Journal on Satisfiability, Boolean Modeling and Computation
… of Pseudo-Boolean Solvers (PB’05) Vasco M. Manquinho vasco.manquinho@(email omitted); IST/INESC-ID, Technical…
Cited by 4 (0 self) – Add To MetaCart

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
… Evaluation of Pseudo-Boolean Solvers (PB’05), pages 103–143. The report is especially interesting because…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 2.

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