Bohan Li -

Registered user since Sat 16 Dec 2023

Name:Bohan Li

Bio:

I am currently a phd candidate at institute of software, CAS, China, supervised by Professor Shaowei Cai. My major research interest are SMT solving and Constraint Programming.

Country:China

Affiliation:Institute of Software Chinese Academy of Science

Personal website: https://douglaslee001.github.io/

GitHub: https://github.com/DouglasLee001

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