The First Evaluation of Pseudo-Boolean Solvers (PB’05)
Vasco M. Manquinho, Olivier Roussel · Journal on Satisfiability Boolean Modeling and Computation · 2006
The first evaluation of pseudo-Boolean solvers was organized as a subtrack of the SAT 2005 competition. The first goal of this event is to take a snapshot of the current state of the art in the field of pseudo-Boolean constraints. The second goal is