The purpose of the competition is to identify new challenging benchmarks and to promote new solvers for the propositional satisfiability problem (SAT) as well as to compare them with state-of-the-art solvers. We strongly encourage people thinking about SAT-based techniques in their area (planning, hardware or software verification, etc.) to submit benchmarks to be used for the competition. The result of the competition will be a good indicator of the current feasibility of such approach. The competition wil
Credits go to Hans van Maaren and John Franco who contributed significantly to the first SAT competition in order to make it into a success.
[ SAT-Ex ] [ SATLIB ] [ SAT Live! ]
SAT Competitions
SAT Association
Wonderings of a SAT geek | A blog about SAT solving and cryptography
The Algorithms Illuminated Book Series
SAT4J
MEmORy Lab @ CCST - NUAA (CN)
Logictools
The Algorithms Illuminated Book Series
Johannes P. Wallner
About | Ahmed Irfan
Johannes P. Wallner
William Klieber