PB26] 2026 edition of the Pseudo-Boolean solvers competition
10 views
Skip to first unread message
Christophe Lecoutre
Mar 19, 2026, 4:40:34 AM (3 days ago) Mar 19
to Constraints, Roussel Olivier
Dear all,
A new edition of the competition of Pseudo-Boolean solvers (PB26) is organized this year, in conjunction with the SAT 2026 conference (https://satisfiability.org/SAT26/). PB26 is also affiliated with the FloC Olympic Games.
All the details about this new edition of the competition are available at
https://www.cril.univ-artois.fr/PB26/
The deadline for both solvers and benchmarks submission is May, 6th.
Obviously, a competition cannot exist without solvers and benchmarks. So, if you have Pseudo-Boolean solvers or benchmarks, please consider submitting them to PB26!
Do not hesitate to disseminate the information to whoever may be interested. :-)
Best regards,
OR
A new edition of the competition of Pseudo-Boolean solvers (PB26) is organized this year, in conjunction with the SAT 2026 conference (https://satisfiability.org/SAT26/). PB26 is also affiliated with the FloC Olympic Games.
All the details about this new edition of the competition are available at
https://www.cril.univ-artois.fr/PB26/
The deadline for both solvers and benchmarks submission is May, 6th.
Obviously, a competition cannot exist without solvers and benchmarks. So, if you have Pseudo-Boolean solvers or benchmarks, please consider submitting them to PB26!
Do not hesitate to disseminate the information to whoever may be interested. :-)
Best regards,
OR
Reply all
Reply to author
Forward
0 new messages