Improved MaxSAT Algorithms for Instances of Degree 3.

Chao Xu, Jianer Chen, Jianxin Wang

Browse the full COCOA paper archive.