Solving MaxSAT and #SAT on structured CNF formulas (2014)

by S H Sæther, J A Telle, M Vatshelle
Venue:In C. Sinz & U. Egly (Eds.), SAT