P. Janicic, N. Dedic, and G. Terzic, “On Different Models for Generating Random SAT Problems”, Comput. Inform., vol. 20, no. 5, pp. 451–469, Feb. 2012.