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 pbeval@cril.univ-artois.fr.
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.
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.