TY  - JOUR
AU  - Givry, Simon de
AU  - Larrosa, Javier
AU  - Meseguer, Pedro
AU  - Schiex, Thomas
PY  - 2003/oct/
TI  - Solving Max-Sat as weighted CSP
PB  - Springer Verlag
CY  - Kinsale, Ireland
ID  - deGivry2003
ER  -