Xindi Zhang -

Registered user since Sun 18 Jun 2023

Name:Xindi Zhang

Country:China

Affiliation:Institute of Software / CAS China

Personal website: https://www.xindizhang.top/

GitHub: https://github.com/dezhangxd

Research interests:SAT, SMT, EDA

Contributions

2026

FM

Author of FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines within the Research Track-track

2025

ATVA

Committee Member in Artifact Evaluation Committee

2024

ICSE

Author of Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory within the Research Track-track