On Different Models for Generating Random SAT Problems. - Predrag Janicic; Nenad Dedic; Goran Terzic (Comput. Artif. Intell., 2001)