Janicic, P. et al. 2012. On Different Models for Generating Random SAT Problems. COMPUTING AND INFORMATICS. 20, 5 (Feb. 2012), 451–469.