** Submission deadline extended to April 15, 2018 **

The 2018 SAT Competition is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 21th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions and SAT-Races / Challenges. The deadline for submitting benchmarks and solvers is extended to Sunday April 15, 2018 (23:59 GMT -12, anywhere on earth). Visit the competition website sat2018.forsyte.tuwien.ac.at for details.