Minghao Liu
Scholar

Minghao Liu

Google Scholar ID: qR3mRHIAAAAJ
University of Oxford
Automated ReasoningConstraint ProgrammingNeuro-symbolic Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
124
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
6 total
Feifei Ma
Feifei Ma
Institute of Software, Chinese Academy of Sciences
Pei Huang
Pei Huang
Stanford University
Fuqi Jia
Fuqi Jia
Institute of Software Chinese Academy of Sciences
Shaowei Cai
Shaowei Cai
Institute of Software, Chinese Academy of Sciences
Jian Zhang
Jian Zhang
Institute of Software, Chinese Academy of Sciences
Andrew Cropper
Andrew Cropper
University of Oxford