Random Generation of Satisfiable and Unsatisfiable CNF Predicates (1992)

by K Iwama, H Abeta, E Miyano
Venue:Information Processing 92