SAT Competition 2017

Affiliated with the 20th International Conference on Theory and Applications of Satisfiability Testing
taking place on the 28th August - 1st of September in Melbourne, Australia.

The 2017 SAT Competition is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 20th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions and SAT-Races / Challenges.

News

Objective

The area of SAT Solving has seen tremendous progress over the last years. Many problems (e.g. in hardware and software verification) that seemed to be completely 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 implementors to present their work to a broader audience and to compare it with that of others.

Tracks

SAT Competition 2017 will consist of the following tracks*:

* Tracks with less than 3 participants will be canceled.

Important Dates

Registration Opens: 1st May, 2017
Benchmark Submission Deadline 15th May 1. June, 2017
Solver Submission Deadline: 15th May 1. June, 2017
Announcement of Results: At the SAT'17 Conference

Organization

Researchers from both academia and industry are invited to submit their solvers and benchmarks to SAT Competition 2017.