Järvisalo, Matti, Daniel Le Berre, Olivier Roussel, and Laurent Simon. 2012. “The International SAT Solver Competitions”. AI Magazine 33 (1), 89-92. https://doi.org/10.1609/aimag.v33i1.2395.