Approximating the number of solutions to a GF[2] formula (1993)

by M Karpinski, M Luby
Venue:Journal of Algorithms