Counting the number of solutions for instances of satisfiability (1991)

by O Dubois
Venue:Theoretical Computer Science