Sledovat
Zhenxing Xu
Zhenxing Xu
Huazhong University of Science and Technology
E-mailová adresa ověřena na: hust.edu.cn
Název
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–3