Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme

Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai
January 2024
PDF DOI
Type
Conference paper
Publication
AAAI2024
Conf