Chu-Min Li

Latest

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