Counting models for 2sat and 3sat formulae (0)

by Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström
Venue:Theor. Comput. Sci