TY - JOUR AU - Järvisalo, Matti AU - Le Berre, Daniel AU - Roussel, Olivier AU - Simon, Laurent PY - 2012/03/15 Y2 - 2024/03/29 TI - The International SAT Solver Competitions JF - AI Magazine JA - AIMag VL - 33 IS - 1 SE - Competition Reports DO - 10.1609/aimag.v33i1.2395 UR - https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2395 SP - 89-92 AB - 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. ER -