Zhendong Lei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CP | Deep Cooperation of Local Search and Unit Propagation Techniques. | Xiamin Chen, Zhendong Lei, Pinyan Lu |
| 2023 | CP | Towards More Efficient Local Search for Pseudo-Boolean Optimization. | Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng |
| 2021 | SAT | Efficient Local Search for Pseudo Boolean Optimization. | Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos |
| 2020 | AAAI | Solving Set Cover and Dominating Set via Maximum Satisfiability. | Zhendong Lei, Shaowei Cai |
| 2020 | IJCAI | Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. | Zhendong Lei, Shaowei Cai, Chuan Luo |
| 2018 | IJCAI | Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. | Zhendong Lei, Shaowei Cai |