Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)

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