and Easy Distributions for SAT Problems (1992)

by Hard
Venue:In Proc. 10th AAAI