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
- 2023-03-07 Read the updated submission guidelines for selecting a proof checker
- 2023-03-01 The documentation of the proof-format used by VeriPB is now available
- 2023-02-15 We are currently experiencing sporadic problems with our email-address organizers@satcompetition.org due to shared IP-addresses being black-listed by dynamic spam-filters. If you experience issues with emails bouncing off or if you just want to make sure to reach us, then please send your email directly to all the organizers
- 2023-02-10 We released the Timeline
- 2022-12-06 We have an open Call for Verified Proof Checkers
Tracks
Important Dates
Registration Opens: | April 1st |
Benchmark Submission / Solver Registration Deadline: | April 15th |
Solver Submission Deadline: | April 15th |
Announcement of Results: | July 8th at SAT Conference 2023 |