An Efficient Core-Guided Solver for Weighted Partial MaxSAT.

Shiwei Pan, Yiyuan Wang, Shaowei Cai

Browse the full IJCAI paper archive.