@article{JarvisaloLBRS:AIMagazine2012, author = {Matti J\"arvisalo and Le Berre, Daniel and Olivier Roussel and Laurent Simon}, journal = {AI Magazine}, title = {The International {SAT} Solver Competitions}, volume = {33}, number = {1}, pages = {89--92}, year = {2012}, } Abstract: 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 satisability (SAT) instances. Over the years, the competitions have signicantly 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.