Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT.

Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Many

Browse the full AAAI paper archive.