TY  - JOUR
AU  - Li, C. M.
AU  - Manyà, F.
AU  - Planes, J.
PY  - 2005//
TI  - Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
SP  - 403
EP  - 414
IS  - 3709
CY  - Sitges, Spain
ID  - LMP05
ER  -