TY  - RPRT
TI  - A Logical Approach to Efficient Max-SAT solving
AU  - Javier Larrosa
AU  - Federico Heras
AU  - Simon de Givry
PY  - 2006
UR  - https://arxiv.org/abs/cs/0611025
ID  - cs/0611025
ER  -