Registered user since Tue 31 Oct 2023
Name:Bohan Li
Country:China
Affiliation:State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, Beijing, China
Personal website: https://douglaslee001.github.io/
GitHub: https://github.com/DouglasLee001
Research interests:SMT, constraint solving, Local search
Contributions
POPL 2024-profile
View general profile
View general profile