TY  - JOUR
AU  - Heras, F.
AU  - Larrosa, J.
PY  - 2006//
TI  - New Inference Rules for Efficient Max-SAT Solving
ID  - heras06
ER  -