Järvisalo, M.; Le Berre, D.; Roussel, O.; Simon, L. The International SAT Solver Competitions. AIMag 2012, 33, 89-92.