Janicic, P., Dedic, N., & Terzic, G. (2012). On Different Models for Generating Random SAT Problems. Computing and Informatics, 20(5), 451–469. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/529