Search

Chuan Luo

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem
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

Languages:

English

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.