Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT.

Zhendong Lei, Shaowei Cai

Browse the full IJCAI paper archive.