@article{solvingmaxsatandsatonstructuredcnf,
  title = {Solving MaxSAT and #SAT on structured CNF formulas},
  author = {Sigve Hortemo Sæther and Jan Arne Telle and Martin Vatshelle},
  year = {2014},
  eprint = {1402.6485},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1402.6485v1},
}