Folgen
Bohan Li
Bohan Li
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Bestätigte E-Mail-Adresse bei mails.ucas.edu.cn
Titel
Zitiert von
Zitiert von
Jahr
Local search for SMT on linear integer arithmetic
S Cai, B Li, X Zhang
International Conference on Computer Aided Verification, 227-248, 2022
122022
Nucds: An efficient local search algorithm for minimum connected dominating set
B Li, X Zhang, S Cai, J Lin, Y Wang, C Blum
Proceedings of the Twenty-Ninth International Conference on International …, 2021
122021
Efficient local search based on dynamic connectivity maintenance for minimum connected dominating set
X Zhang, B Li, S Cai, Y Wang
Journal of Artificial Intelligence Research 71, 89-119, 2021
102021
Local Search For SMT On Linear and Multi-linear Real Arithmetic
B Li, S Cai
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 168, 2023
42023
Local Search For Satisfiability Modulo Integer Arithmetic Theories
S Cai, B Li, X Zhang
ACM Transactions on Computational Logic 24 (4), 1-26, 2023
32023
Yicesls on smt comp2021
S CAI, B LI, X ZHANG
12021
Deep Combination of CDCL (T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
X Zhang, B Li, S Cai
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
2024
Efficient Local Search for Nonlinear Real Arithmetic
Z Wang, B Zhan, B Li, S Cai
International Conference on Verification, Model Checking, and Abstract …, 2023
2023
Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search
B Li, K Wang, Y Wang, S Cai
27th International Conference on Principles and Practice of Constraint …, 2021
2021
Z3++ at SMT-COMP 2023
S Cai, B Li, B Zhan, X Zhang, M Zhao
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10