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

Yi Chu, Shaowei Cai, Chuan Luo
January 2023
PDF DOI
Type
Conference paper
Publication
Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023
Conf