Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation.

Chu Min Li, Felip Many, Nouredine Ould Mohamedou, Jordi Planes

Browse the full CP paper archive.