JĂ„RVISALO, M.; LE BERRE, D.; ROUSSEL, O.; SIMON, L. The International SAT Solver Competitions. AI Magazine, v. 33, n. 1, p. 89-92, 15 Mar. 2012.