Janicic, P. et al. 2012. On Different Models for Generating Random SAT Problems. Computing and Informatics. 20, 5 (Feb. 2012), 451–469.