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