SAT competition

swMATH ID: 4623
Software Authors: Hans van Maaren; John Franco
Description: The international SAT Competitions web page. 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 will be completely automated using the SAT-Ex system.
Homepage: http://www.satcompetition.org/
Keywords: SAT; benchmarks; compare
Related Software: MiniSat; SMAC; SATenstein; SATzilla; Paramils; Chaff; Sparrow2Riss; Coprocessor; CBMC; Sat4j; Walksat; Velev SAT Benchmarks; SATO; BerkMin; auto-sklearn; AIGER; Lingeling; Auto-WEKA; Treengeling; CryptoMiniSat
Referenced in: 6 Publications

Referenced in 1 Field

6 Computer science (68-XX)

Referencing Publications by Year