An Improved Branching Algorithm for (n, 3)-MaxSAT Based on Refined Observations.

Wenjun Li, Chao Xu, Jianxin Wang, Yongjie Yang

Browse the full COCOA paper archive.