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