@misc{indiciae8445136f17bf,
  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},
  url = {https://arxiv.org/abs/1505.02405},
  note = {Source identifier: 1505.02405}
}