TY  - RPRT
TI  - New Inference Rules for Max-SAT
AU  - C. M. Li
AU  - F. Manya
AU  - J. Planes
PY  - 2011
DO  - 10.1613/jair.2215
UR  - https://arxiv.org/abs/1111.0040
ID  - 1111.0040
ER  -