Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers.

Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He

Browse the full IJCAI paper archive.