Minghao Liu   (刘明昊) State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences #4 South Fourth St., Zhong Guan Cun Beijing, China 100190 Email: liumh@ios.ac.cn [CV] [Google Scholar] [DBLP] [GitHub]

Short Bio

I am currently a PhD student in Computer Software and Theory at the University of Chinese Academy of Sciences (UCAS) and doing my research at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, under the supervision of Prof. Jian Zhang. Before that, I received my B.S. degree in Computer Science and Technology from Northeast Normal University (NENU) in 2017.

My research interests include the theory, algorithm and application of automated reasoning, constraint programming and combinatorial optimization, as well as the integration of symbolic reasoning and machine learning.

Recent News

• [2023.07] Our paper received the ACM SIGSOFT Distinguished Paper Award at ISSTA 2023.
• [2023.07] One full paper is accepted by ISSTA 2023.
• [2023.02] Our paper received the Best Student Abstract Honorable Mention Award at AAAI 2023.
• [2022.11] One short paper is accepted by AAAI 2023.
• [2022.07] One full paper is accepted by Journal of Artificial Intelligence Research (JAIR).
• [2022.04] One full paper is accepted by ISSTA 2022.
• [2021.12] One full paper is accepted by AAAI 2022.
• [2021.05] One full paper is accepted by Journal of the Operational Research Society (JORS).
• [2021.05] One full paper is accepted by SAT 2021.

Publications

(* indicates equal contribution)

• Improving Bit-Blasting for Nonlinear Integer Constraints
  Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2023
  🏅 ACM SIGSOFT Distinguished Paper Award
  
• Can Graph Neural Networks Learn to Solve the MaxSAT Problem?
  Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
  AAAI Conference on Artificial Intelligence (AAAI), Student Abstract and Poster Program, 2023
  🏅 Best Student Abstract Honorable Mention Award
  
• Improving Simulated Annealing for Clique Partitioning Problems
  Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma
  Journal of Artificial Intelligence Research (JAIR), 2022
  
• ε-weakened Robustness of Deep Neural Networks
  Pei Huang*, Yuting Yang*, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022
  
• Word Level Robustness Enhancement: Fight Perturbation with Perturbation
  Pei Huang*, Yuting Yang*, Fuqi Jia, Minghao Liu, FeiFei Ma, Jian Zhang
  AAAI Conference on Artificial Intelligence (AAAI), 2022
  
• Modelling and Solving the Supply Marketing Order Allocation Problem with Time Consistency and Bundle Discounts
  Yupeng Zhou, Minghao Liu, Feifei Ma, Na Luo, Minghao Yin
  Journal of the Operational Research Society (JORS), 2021
  
• Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
  Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang
  International Conference on Theory and Applications of Satisfiability Testing (SAT), 2021
  
• Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
  Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang
  International Conference on Principles and Practice of Constraint Programming (CP), 2020
  
• Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
  Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
  International Joint Conference on Artificial Intelligence (IJCAI), 2019
  
• Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
  Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
  International Symposium on Symbolic and Algebraic Computation (ISSAC), 2019
  
• A Community-Division Based Algorithm for Finding Relations Among Linear Constraints
  Minghao Liu, Feifei Ma, Jun Yan
  International Conference on Knowledge Science, Engineering and Management (KSEM), 2018
  

Selected Awards & Scholarships

• SMT Competition, Nonlinear Real Arithmetic (QF_NRA) Track, 2nd Place, 2022.08
• First Prize Scholarship of UCAS (Top 10%), 2021.10
• Guangdong Intelligent Manufacturing Innovation Contest, 3rd Place, 2019.12
• The NENU Medalist (The highest honor for undergraduate students; Top 0.5%), 2017.06
• ACM International Collegiate Programming Contest (ACM-ICPC) Asia Regional, Gold Medal, 2016.09
• National Scholarship of China, 2014.11

Services

• AAAI 2023, PC Member

Teaching

• Teaching Assistant in Foundations of Theoretical Computer Science at UCAS
  Spring 2020 & Spring 2021. Lecturer: Prof. Tian Liu