Random Generation of Satisfiable and Unsatisfiable CNF Predicates. - Kazuo Iwama; Hidetoshi Abeta; Eiji Miyano (IFIP Congress (1), 1992)