Open AccessThe International SAT Solver Competitions
Author(s) -
Järvisalo Matti,
Berre Daniel Le,
Roussel Olivier,
Simon Laurent
Publication year - 2012
Publication title -
ai magazine
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 79
eISSN - 2371-9621
pISSN - 0738-4602
DOI - 10.1609/aimag.v33i1.2395
Subject(s) - boolean satisfiability problem , solver , problem solver , satisfiability , competition (biology) , computer science , series (stratigraphy) , theoretical computer science , programming language , software engineering , biology , ecology , paleontology
The International SAT Solver Competition is today an established series of competitive events aiming at objectively evaluating the progress in state‐of‐the‐art procedures for solving Boolean satisfiability (SAT) instances. Over the years, the competitions have significantly contributed to the fast progress in SAT solver technology that has made SAT a practical success story of computer science. This short article provides an overview of the SAT solver competitions.