Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme.

Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai

Browse the full SAT paper archive.