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

Yi Chu, Chuan Luo, Shaowei Cai
January 2023
PDF DOI
Type
Conference paper
Publication
AAAI2023
Conf