Resolution and Domination: An Improved Exact MaxSAT Algorithm.

Chao Xu, Wenjun Li, Yongjie Yang, Jianer Chen, Jianxin Wang

Browse the full IJCAI paper archive.