News
Feb 21 | Website is up. |
Apr 1 | Changed gcc to version 4.7.1 and memory limit to 11Gb (sequential) and 22Gb (parallel). |
Apr 10 | Judges are known: Pete Manolios, Lakhdar Sais, and Peter Stuckey |
Apr 21 | Submission of solvers and benchmarks is open |
Apr 29 | Deadline to submit solvers and benchmarks is extended to May 7, 2014 |
Jul 18 | Results released on EDACC |
Jul 20 | Proceedings released pdf |
Jul 20 | Competition results released slides |
Aug 29 | Call for papers released here |
Nov 7 | CfP deadline extension here |
About the SAT Competition 2014
The SAT Competition 2014 is a competitive event for solvers for the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014) and stands in the tradition of the SAT Competitions that have been held yearly from 2002 to 2005 and biannually starting from 2007, the SAT-Races held in 2006, 2008 and 2010, and the SAT Challenge 2012.
The emphasis of SAT Competition 2014 is on evaluation of core solvers. Additionally, as during SAT Competition 2013, the UNSAT tracks of the competition will require certification.