Suivre
Xindi Zhang(张昕荻)
Xindi Zhang(张昕荻)
Autres nomsXindi Zhang, 张 昕荻
Adresse e-mail validée de ios.ac.cn - Page d'accueil
Titre
Citée par
Citée par
Année
Deep cooperation of CDCL and local search for SAT
S Cai, X Zhang
Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021
342021
Better decision heuristics in CDCL through local search and target phases
S Cai, X Zhang, M Fleury, A Biere
Journal of Artificial Intelligence Research 74, 1515-1563, 2022
232022
Local search for SMT on linear integer arithmetic
S Cai, B Li, X Zhang
International Conference on Computer Aided Verification, 227-248, 2022
182022
Relaxed backtracking with rephasing
X Zhang, S Cai
Proceedings of SAT competition, 15-15, 2020
152020
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
Improving cdcl via local search
X Zhang, S Cai, Z Chen
SAT COMPETITION 2021 42, 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
112021
Parkissat: Random shuffle based and pre-processing extended parallel solvers with clause sharing
X Zhang, Z Chen, S Cai
SAT COMPETITION 2022, 51, 2022
102022
Improving local search for structured SAT formulas via unit propagation based construct and cut initialization (short paper)
S Cai, C Luo, X Zhang, J Zhang
27th International Conference on Principles and Practice of Constraint …, 2021
102021
Local Search For Satisfiability Modulo Integer Arithmetic Theories
S Cai, B Li, X Zhang
ACM Transactions on Computational Logic 24 (4), 1-26, 2023
82023
PRS: A new parallel/distributed framework for SAT
Z Chen, X Zhang, Y Qian, S Cai
SAT COMPETITION 2023, 39, 0
7
Cdcl solvers with improved local search cooperation and pre-processing
Z Chen, X Zhang, S Cai, P Lu
SAT COMPETITION 2022, 37, 2022
62022
Pure maxsat and its applications to combinatorial optimization via linear local search
S Cai, X Zhang
Principles and Practice of Constraint Programming: 26th International …, 2020
62020
Four relaxed CDCL solvers
S Cai, X Zhang
SAT RACE 2019, 35, 2019
62019
ReasonLS
S Cai, X Zhang
Proc. of SAT Competition, 52-53, 2018
52018
Integrating exact simulation into sweeping for datapath combinational equivalence checking
Z Chen, X Zhang, Y Qian, Q Xu, S Cai
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023
32023
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
12024
A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver
Z Chao, X Zhang, J Huang, J Ye, S Cai, H Li, X Li
2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 503-508, 2024
12024
Yicesls on smt comp2021
S CAI, B LI, X ZHANG
12021
A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow
Z Chao, X Zhang, J Huang, Z Liu, Y Zhao, J Ye, S Cai, H Li, X Li
Integration 100, 102265, 2025
2025
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20