Counting propositional models (1992)

by E Lozinskii
Venue:Inf. Proc. Letters 41