[1]
M. Järvisalo, D. Le Berre, O. Roussel, and L. Simon, “The International SAT Solver Competitions”, AIMag, vol. 33, no. 1, pp. 89-92, Mar. 2012.