CNF Satisfiability Test by Counting and Polynomial Average Time (1989)

by K Iwama
Venue:SIAM Journal on Computing