Objective
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.
News
- 2024-01-26 We will replace the satisfying assignments checker that has traditionally been used in SAT competitions. This will allow partial models to be accepted as long as every clause of the original SAT instance is satisfied.
- 2024-01-22 The competition website is online.
Tracks
- Main Track, including subtracks:
- Parallel Track
- Cloud Track
Important Dates
Registration Opens: | April 1st |
Benchmark Submission / Solver Registration Deadline: | April 22nd |
Solver Submission Deadline: | |
Announcement of Results: | August 24th at SAT Conference 2024 |