POPL 2024
Wed 17 - Fri 19 January 2024 London, United Kingdom

Registered user since Tue 31 Oct 2023

Name:Bohan Li
Affiliation:State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, Beijing, China
Research interests:SMT, constraint solving, Local search


Show activities from other conferences

Using general profile