Predrag Janicic Nenad Dedic Goran Terzic On Different Models for Generating Random SAT Problems. 2001 20 Computers and Artificial Intelligence 5 db/journals/cai/cai20.html#JanicicDT01