Zhendong Lei

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 9

Top Topics

Search Algorithm

Unit Propagation

Maximum Satisfiability

Top Venues

Inf. Softw. Technol.

Publications

Xiamin Chen, Zhendong Lei, Pinyan Lu
Deep Cooperation of Local Search and Unit Propagation Techniques. CP (2024)
Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng
Towards More Efficient Local Search for Pseudo-Boolean Optimization. CP (2023)
Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos
Efficient Local Search for Pseudo Boolean Optimization. SAT (2021)
Zhendong Lei, Shaowei Cai, Chuan Luo
Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. IJCAI (2020)
Zhendong Lei, Shaowei Cai
NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT. Comput. J. 63 (9) (2020)
Zhendong Lei, Shaowei Cai
Solving Set Cover and Dominating Set via Maximum Satisfiability. AAAI (2020)
Shaowei Cai, Zhendong Lei
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artif. Intell. 287 (2020)
Yingjie Fu, Zhendong Lei, Shaowei Cai, Jinkun Lin, Haoran Wang
WCA: A weighting local search for constrained combinatorial test optimization. Inf. Softw. Technol. 122 (2020)
Zhendong Lei, Shaowei Cai
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. IJCAI (2018)