Follow
Zhenxing Xu
Zhenxing Xu
Huazhong University of Science and Technology
Verified email at hust.edu.cn
Title
Cited by
Cited by
Year
Combining clause learning and branch and bound for MaxSAT
CM Li, Z Xu, J Coll, F Manyà, D Habet, K He
Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2021
262021
Boosting branch-and-bound MaxSAT solvers with clause learning
CM Li, Z Xu, J Coll, F Manyà, D Habet, K He
AI Communications 35 (2), 131-151, 2022
122022
An iterative Path-Breaking approach with mutation and restart strategies for the MAX-SAT problem
Z Xu, K He, CM Li
Computers & operations research 104, 49-58, 2019
122019
The system can't perform the operation now. Try again later.
Articles 1–3