Counting satisfying assignments in 2-SAT and 3-SAT (0)

by V Dahllöf, P Jonsson, M Wahlström
Venue:In Annual International Computing and Combinatorics Conference (COCOON) (2002