conf.researchr.org / Minghao Liu
Registered user since Mon 16 Nov 2020
Name:Minghao Liu
Country:China
Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Personal website: https://minghao-liu.github.io/
Research interests:Automated Reasoning, Constraint Solving, Machine Learning
Contributions