Counting models for 2SAT and 3SAT formulae (2005)

by V Dahllöf, P Jonsson, M Wahlström
Venue:Theoretical Computer Science