Підписатись
Zhenxing Xu
Zhenxing Xu
Huazhong University of Science and Technology
Підтверджена електронна адреса в hust.edu.cn
Назва
Посилання
Посилання
Рік
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
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–3