Järvisalo, Matti, Daniel Le Berre, Olivier Roussel, and Laurent Simon. “The International SAT Solver Competitions”. AI Magazine 33, no. 1 (March 15, 2012): 89-92. Accessed March 28, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2395.