Janicic, P.; Dedic, N.; Terzic, G. On Different Models for Generating Random SAT Problems. Comput. Inform. 2012, 20, 451-469.