Xindi Zhang(张昕荻)

Cited by

	All	Since 2020
Citations	210	209
h-index	10	10
i10-index	10	10

20192020202120222023202420251 3 17 43 53 75 18

Public access

View all

9 articles

1 article

available

not available

Based on funding mandates

Co-authors

Shaowei CaiInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Bohan LiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesVerified email at mails.ucas.edu.cn
Yiyuan WangNortheast Normal UniversityVerified email at nenu.edu.cn
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Christian BlumSenior Research Scientist, Artificial Intelligence Research Institute (IIIA-CSIC)Verified email at iiia.csic.es
Jinkun LinPeking UniversityVerified email at ios.ac.cn
Chuan LuoBeihang University, ChinaVerified email at buaa.edu.cn
Pinyan LuITCS, Shanghai University of Finance and EconomicsVerified email at mail.shufe.edu.cn
Zhiteng ChaoSKLP, ICTVerified email at ict.ac.cn
Xiaowei Li (李晓维)Institute of Computing Technology, Chinese Academy of SciencesVerified email at ict.ac.cn
Qiang XuProfessor, The Chinese University of Hong KongVerified email at cse.cuhk.edu.hk
Mengyu ZhaoInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Bing HeInstitute of Software, Chinese Academy of Sciences, University of Chinese Academy of SciencesVerified email at ios.ac.cn
Huawei LiInstitute of Computing Technology, Chinese Academy of SciencesVerified email at ict.ac.cn
Jian ZhangInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn

Xindi Zhang(张昕荻)

Other namesXindi Zhang, 张昕荻

Institute of Software, Chinese Academy of Sciences(中国科学院软件研究所)

Verified email at ios.ac.cn - Homepage

SAT SMT EDA


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Deep cooperation of CDCL and local search for SAT S Cai, X Zhang Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021	37	2021
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	27	2022
Local search for SMT on linear integer arithmetic S Cai, B Li, X Zhang International Conference on Computer Aided Verification, 227-248, 2022	21	2022
Relaxed backtracking with rephasing X Zhang, S Cai Proceedings of SAT competition, 15-15, 2020	15	2020
Local search for satisfiability modulo integer arithmetic theories S Cai, B Li, X Zhang ACM Transactions on Computational Logic 24 (4), 1-26, 2023	12	2023
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	12	2021
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	12	2021
Improving cdcl via local search X Zhang, S Cai, Z Chen SAT COMPETITION 2021 42, 2021	12	2021
Parkissat: Random shuffle based and pre-processing extended parallel solvers with clause sharing X Zhang, Z Chen, S Cai SAT COMPETITION 2022, 51, 2022	11	2022
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	11	2021
Prs: A new parallel/distributed framework for sat Z Chen, X Zhang, Y Qian, S Cai SAT COMPETITION 2023, 39, 2023	8	2023
Cdcl solvers with improved local search cooperation and pre-processing Z Chen, X Zhang, S Cai, P Lu SAT COMPETITION 2022, 37, 2022	6	2022
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	6	2020
Four relaxed CDCL solvers S Cai, X Zhang SAT RACE 2019, 35, 2019	6	2019
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	4	2024
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	4	2023
ReasonLS S Cai, X Zhang Proc. of SAT Competition, 52-53, 2018	3	2018
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	2	2024
Yicesls on smt comp2021 S CAI, B LI, X ZHANG	1	2021
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors