This is just to announce that the Pseudo-Boolean Competition 2025
(https://www.cril.univ-artois.fr/PB25/) will be organised this year
under the auspices of the SAT 2025 conference
(https://satisfiability.org/SAT25/).
This edition will be quite similar to the reboot of the Pseudo-Boolean
Competition series in 2024, but we will use the opportunity to make some
minor revisions of the set-up.
All details about this new edition of the competition can be found at
https://www.cril.univ-artois.fr/PB25/ .
The first deadline for submission of solvers and benchmarks for the
competition is April 7, but this is to be considered as more of a
wake-up call. The actual deadline is expected to be extended to early May.
Obviously, a competition cannot exist without solvers and benchmarks.
So, if you have pseudo-Boolean solving tools and/or challenging
pseudo-Boolean formulas, please do not hesitate to contribute to the
Pseudo-Boolean Competition 2025!
We would be most grateful for any help to spread this information to
whoever might be interested.
On behalf of the main organizer Olivier Roussel,
https://www.cril.univ-artois.fr/~roussel/
Jakob Nordström
Member of the Pseudo-Boolean Competition 2025 steering committee
**********************************************************
*
* 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/
*
**********************************************************
Posts
