Scholar
Minghao Liu
Google Scholar ID: qR3mRHIAAAAJ
University of Oxford
Automated Reasoning
Constraint Programming
Neuro-symbolic Methods
Follow
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
Institute of Software, Chinese Academy of Sciences
Pei Huang
Stanford University
Fuqi Jia
Institute of Software Chinese Academy of Sciences
Shaowei Cai
Institute of Software, Chinese Academy of Sciences
Jian Zhang
Institute of Software, Chinese Academy of Sciences
Andrew Cropper
University of Oxford
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up