Combining Clause Learning and Branch and Bound for MaxSAT.

Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Many, Djamal Habet, Kun He

Browse the full CP paper archive.