关注
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