1.
Hamadi Y, Wintersteiger C. Seven Challenges in Parallel SAT Solving. AIMag [Internet]. 2013Jun.21 [cited 2024Mar.29];34(2):99. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2450