Järvisalo, M., Le Berre, D., Roussel, O. and Simon, L. (2012) “The International SAT Solver Competitions”, AI Magazine, 33(1), pp. 89-92. doi: 10.1609/aimag.v33i1.2395.