Xindi Zhang (张昕荻)|Xindi Zhang, 张 昕荻

Xindi Zhang (张昕荻)|Xindi Zhang, 张 昕荻

Institute of Software, Chinese Academy of Sciences - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4824099
-
person_outline Xindi Zhang (张昕荻)|Xindi Zhang, 张 昕荻's MOST POPULAR ARTICLES
1-) Deep cooperation of CDCL and local search for SAT Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021
2-) Better decision heuristics in CDCL through local search and target phases Journal of Artificial Intelligence Research 74, 1515-1563, 2022
3-) Local search for SMT on linear integer arithmetic International Conference on Computer Aided Verification, 227-248, 2022
4-) Relaxed backtracking with rephasing Proceedings of SAT competition, 15-15, 2020
5-) Local search for satisfiability modulo integer arithmetic theories ACM Transactions on Computational Logic 24 (4), 1-26, 2023