SAT Competition
- Organizers: Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
- Webpage: https://satcompetition.github.io/2024/
- Description:
SAT Competition 2024 is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. The competition is organized as a satellite event to the SAT Conference 2024 and stands in the tradition of the annual SAT Competitions and SAT-Races / Challenges.
The area of SAT Solving has seen tremendous progress over the last years. Many problems that seemed to be out of reach a decade ago can now be handled routinely. Besides new algorithms and better heuristics, refined implementation techniques turned out to be vital for this success.
To keep up the driving force in improving SAT solvers, we want to motivate implementers to present their work to a broader audience and to compare it with that of others. Researchers from both academia and industry are invited to submit their solvers and benchmarks.
Competition of Pseudo-Boolean Solvers
- Organizers: Olivier Roussel
- Webpage: https://www.cril.univ-artois.fr/PB24/
- Description:
Eight years after the last competition of pseudo-Boolean solvers, the goal of this new edition is to assess the state of the art in the field of pseudo-Boolean solvers, in the same spirit as the previous competitions and evaluations. The submission of both PB solvers and benchmarks is highly encouraged. The competition will offer the usual PBS/PBO tracks (satisfaction/optimization) and will introduce the corresponding certified tracks, were solvers will have to generate a proof of unsatisfiability or optimality.
Model Counting Competition
- Organizers: Johannes Fichte, Markus Hecher, Arijit Shaw
- Webpage: https://mccompetition.org/
- Description:
The Model Counting Competition focuses on connecting recent theoretical and practical advances in model counting with real-world applications. It aims to identify challenging benchmarks, foster the development of new solvers, and benchmark them against the current best. The competition highlights the dynamic nature of model counting, showcasing advancements in counting engines through various techniques, including knowledge compilation and sampling, and hopes to foster innovations in parallel and distributed computing.
MaxSAT Evaluation
- Organizers: Matti Järvisalo, Jeremias Berg, Ruben Martins, Tobias Paxian, Andreas Niskanen
- Webpage: https://maxsat-evaluations.github.io/2024/
- Description:
The 2024 MaxSAT Evaluation (MSE 2023) is the 19th edition of MaxSAT evaluations, the primary competition-style event focusing on the evaluation of MaxSAT solvers organized yearly since 2006.
The main goals of MaxSAT Evaluation 2024 are:
- to assess the state of the art in the field of MaxSAT solvers,
- to collect and re-distribute a heterogeneous MaxSAT benchmark set for further scientific evaluations, and
- to promote MaxSAT as a viable option for solving instances of a wide range of NP-hard optimization problems.
