Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xindi Zhang
conf.researchr.org general profile
ICSE 2024 profile
Registered user since Sun 18 Jun 2023
Name:
Xindi Zhang
Contributions
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
Share
x
Sun 22 Dec 03:02