Minghao Liu

Group Experience

Graduated 2023
PhD

Publications

16 publications

2025

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025Fuqi Jia Yuhang Dong Rui Han Pei HuangMinghao LiuFeifei Ma Jian Zhang
PDF Code
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025Weichun ShiMinghao LiuWanting ZhangLangchen Shi Fuqi Jia Feifei Ma Jian Zhang
Code

2024

Investigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023Minghao LiuRui Han Fuqi Jia Pei Huang Feifei MaHantao ZhangJian Zhang
Code

2023

Best Student Abstract Honorable Mention Award
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023Minghao LiuPei Huang Fuqi Jia Fan ZhangYuchen SunShaowei CaiFeifei Ma Jian Zhang
Code
ACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023Fuqi Jia Rui Han Pei HuangMinghao LiuFeifei Ma Jian Zhang
Code
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
ASE 2023Minghao LiuKunhang Lv Pei Huang Rui Han Fuqi JiaYu ZhangFeifei Ma Jian Zhang
Code
PSMT: Satisfiability Modulo Theories Meets Probability Distribution
ASE 2023Fuqi Jia Rui Han Xutong Ma Baoquan CuiMinghao LiuPei Huang Feifei Ma Jian Zhang
Code
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NeurIPS 2023Fuqi Jia Yuhang DongMinghao LiuPei Huang Feifei Ma Jian Zhang

2022

𝜀 -weakened robustness of deep neural networks
ISSTA 2022Pei HuangYuting YangMinghao LiuFuqi Jia Feifei Ma Jian Zhang
Improving Simulated Annealing for Clique Partitioning Problems
JAIR 2022Jian GaoYiqi LvMinghao LiuShaowei CaiFeifei Ma
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022Pei HuangYuting YangFuqi JiaMinghao LiuFeifei Ma Jian Zhang

2021

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
SAT 2021Pei Huang Rundong LiMinghao LiuFeifei Ma Jian Zhang

2020

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
CP 2020Minghao LiuFan Zhang Pei HuangShuzi NiuFeifei Ma Jian Zhang

2019

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
ISSAC 2019Pei HuangMinghao LiuCunjing Ge Feifei Ma Jian Zhang
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019Pei HuangMinghao LiuPing WangWenhui ZhangFeifei Ma Jian Zhang

2018

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints
KSEM 2018Minghao LiuFeifei Ma Jun Yan