Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT.

Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li

Browse the full CP paper archive.