A Tighter Bound for Counting Max-Weight Solutions to 2SAT (2008)

by M Wahlström
Venue:Instances, LNCS 5018