Zhendong Lei

最新

• Optimizing local search-based partial MaxSAT solving via initial assignment prediction
• Efficient Local Search for Pseudo Boolean Optimization
• Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. IJCAI 2020: 1141-1147
• NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT Comput. J. 63(9): 1321-1337 (2020)
• Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artif. Intell. 287: 103354 (2020)
• Solving Set Cover and Dominating Set via Maximum Satisfiability
• WCA: A weighting local search for constrained combinatorial test optimization Inf. Softw. Technol. 122: 106288 (2020)
• Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT 1346-1352
• Towards More Efficient Local Search for Pseudo-Boolean Optimization