NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques.

Yi Chu, Shaowei Cai, Chuan Luo

Browse the full AAAI paper archive.