Zhendong Lei

According to our database, Zhendong Lei authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Deep Cooperation of Local Search and Unit Propagation Techniques.

Xiamin Chen, Zhendong Lei, Pinyan Lu

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023

Towards More Efficient Local Search for Pseudo-Boolean Optimization.

Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2021

Efficient Local Search for Pseudo Boolean Optimization.

Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

WCA: A weighting local search for constrained combinatorial test optimization.

Yingjie Fu, Zhendong Lei, Shaowei Cai, Jinkun Lin, Haoran Wang

Inf. Softw. Technol., 2020

NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT.

Zhendong Lei, Shaowei Cai

Comput. J., 2020

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.

Shaowei Cai, Zhendong Lei

Artif. Intell., 2020

Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints.

Zhendong Lei, Shaowei Cai, Chuan Luo

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Solving Set Cover and Dominating Set via Maximum Satisfiability.

Zhendong Lei, Shaowei Cai

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT.

Zhendong Lei, Shaowei Cai

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018