Yi Chu

Latest

• Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme
• NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques
• Towards More Efficient Local Search for Pseudo-Boolean Optimization