Recent news about SAT for tag Competition


  • Nov 29, 2021  Core Challenge 2022 (an International Competition for Combinatorial Reconfiguration) by Takehide Soh CFP  Competition  SAT  Deadline 

    The 1st Combinatorial Reconfiguration Challenge (CoRe Challenge 2022) is a competition aiming for practically exploring the combinatorial reconfiguration problem.
  • Mar 3, 2016  CALL FOR BENCHMARKS -- SAT COMPETITION 2016 by Marijn Heule Competition  Deadline 

    We would like to invite and encourage submissions of benchmarks and benchmark generators for SAT Competition 2016. Visit the competition homepage for details.

  • May 25, 2015  MAXSAT 2015 Evaluation by Jordi Planes Competition  CFP 

    Submission for the MAXSAT competition is now open. The deadline for submitting solvers and benchmarks is June 30.

  • Apr 22, 2015  Overview and analysis of the SAT Challenge 2012 solver competition by Adrian Balint, Anton Belov, Matti Järvisalo and Carsten Sinz Competition 

    Programs for the Boolean satisfiability problem (SAT), i.e., SAT solvers, are nowadays used as core decision procedures for a wide range of combinatorial problems. Advances in SAT solving during the last 10–15 years have been spurred by yearly solver competitions. In this article, we report on the main SAT solver competition held in 2012, SAT Challenge 2012. Besides providing an overview of how SAT Challenge 2012 was organized, we present an in-depth analysis of key aspects of the results obtained during the competition.

  • Feb 17, 2015  SAT-Race 2015 by Tomas Balyo Competition  CFP 

    SAT-Race 2015 is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 18th International Conference on Theory and Applications of Satisfiability Testing, September 24-27, 2015, Austin, Texas, USA and stands in the tradition of the yearly SAT Competitions and SAT-Races / Challenges. In contrast to the SAT Competitions, the focus of SAT-Race is on application benchmarks only.

  • Feb 3, 2015  PB 2015 competition by Norbert Manthey Competition  PBO 

    The pseudo Boolean evaluation 2015 analyzes the current state of the art of pseudo Boolean solving technology to be able to determine the progress that has been made since the last evaluation. Therefore, we invite solver developers to submit the latest version of their tools. Furthermore, we will include selected solvers of the previous pseudo Boolean competition 2012.

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

September 15, 2022
PhD @ Lund

SAT related books