Yi Chu

最新

• Optimizing local search-based partial MaxSAT solving via initial assignment prediction
• Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme
• NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques
• An efficient local search algorithm for solving maximum edge weight clique problem in large graphs. J. Comb. Optim. 39(4): 933-954 (2020)
• Empirical investigation of stochastic local search for maximum satisfiability Frontiers Comput. Sci. 13(1): 86-98 (2019)
• Towards More Efficient Local Search for Pseudo-Boolean Optimization