Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers.

Chu Min Li, Felip Many, Jordi Planes

Browse the full CP paper archive.