[DMANET] Pseudo-Boolean Competition 2026

Dear colleagues, We would be grateful for your assistance in spreading the information about the 2026 edition of the competition for pseudo-Boolean solvers, organized under the aegis of the SAT 2026 conference (https://satisfiability.org/SAT26/). The Pseudo-Boolean Competition 2026 is also affiliated with the FloC Olympic Games (https://www.floc26.org/). 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 6, 2026. Obviously, a competition cannot exist without solvers and benchmarks. So, if you have pseudo-Boolean solvers or benchmarks, please make a submission to the PB26 competition! Best regards, Jakob Nordström On behalf of the steering committee: Carlos Ansótegui, Johannes Klaus Fichte, Jakob Nordström, and Olivier Roussel ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************