TY  - RPRT
TI  - Solving MaxSAT and #SAT on structured CNF formulas
AU  - Sigve Hortemo Sæther
AU  - Jan Arne Telle
AU  - Martin Vatshelle
PY  - 2014
UR  - https://arxiv.org/abs/1402.6485
ID  - 1402.6485
ER  -