Zhendong Lei
According to our database1,
Zhendong Lei
authored at least 8 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
2020
Inf. Softw. Technol., 2020
Comput. J., 2020
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.
Artif. Intell., 2020
Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018