@article{exploitingresolutionbasedrepresentations,
  title = {Exploiting Resolution-based Representations for MaxSAT Solving},
  author = {Miguel Neves and Ruben Martins and Mikoláš Janota and Inês Lynce and Vasco Manquinho},
  year = {2015},
  eprint = {1505.02405},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1505.02405v1},
}