Inclusion-Exclusion for k-CNF Formulas (2003)

by K Iwama, A Matsuura
Venue:Inf. Process. Lett