Janicic, P., Dedic, N. and Terzic, G. (2012) “On Different Models for Generating Random SAT Problems”, COMPUTING AND INFORMATICS, 20(5), pp. 451–469. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/529 (Accessed: 4 May 2024).