DMCA

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

Cached

Download Links

by Sigve Hortemo Sæther , Jan Arne Telle , Martin Vatshelle
Venue:In C. Sinz & U. Egly (Eds.), SAT
Citations:2 - 1 self