Chuan Luo

最新

• NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques
• Towards More Efficient Local Search for Pseudo-Boolean Optimization
• Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization