Pseudo Boolean Evaluation 2006

The second Pseudo Boolean evaluation is organized as a special event of the SAT 2006 conference. It follows the first Pseudo Boolean evaluation which gathered together 8 solvers. The goal  of this evaluation is to assess the state of the art in the field of pseudo-Boolean solvers.

For questions, comments and any other issue regarding the PB Evaluation, please get in touch with

Results of the 2006 evaluation

The evaluation ended on August, 15th 2006 when the results were officially given at the SAT 2006 conference. Since this date all results are publicly available from this site.

You may
The next evaluation will be organized in 2007, as an affiliated event of the SAT 2007 conference. The call for solvers and benchmarks will be available on the PB'07 home page.

The details of the PB'06 call for solvers and benchmarks are archived here.


To reach the organizers, send an email to

INESC-ID, Lisboa, Portugal
vmm at / home page
CRIL, Université d'Artois, France
olivier.roussel at / home page