Folgen
Zhenxing Xu
Zhenxing Xu
Huazhong University of Science and Technology
Bestätigte E-Mail-Adresse bei hust.edu.cn
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3