TY  - RPRT
TI  - Exploiting Resolution-based Representations for MaxSAT Solving
AU  - Miguel Neves
AU  - Ruben Martins
AU  - Mikoláš Janota
AU  - Inês Lynce
AU  - Vasco Manquinho
PY  - 2015
UR  - https://arxiv.org/abs/1505.02405
ID  - 1505.02405
ER  -