CNF-satisfiability test by counting and polynomial average time (1989)

by K Iwama
Venue:SIAM J. Comput