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

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

Browse the full IJCAI paper archive.