TY  - JOUR
AU  - Larrosa, J.
AU  - Heras, F.
PY  - 2005//
TI  - Resolution in Max-SAT and its relation to local consistency in weighted CSPs
SP  - 193
EP  - 198
CY  - ijcai05l
ID  - Heras2005
ER  -