1.
Järvisalo M, Le Berre D, Roussel O, Simon L. The International SAT Solver Competitions. AIMag [Internet]. 2012Mar.15 [cited 2019Nov.12];33(1):89-2. Available from: https://www.aaai.org/ojs/index.php/aimagazine/article/view/2395