Minghao Liu

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 16

Top Topics

Satisfiability Problem

Satisfiability Modulo Theories

Top Venues

Publications

Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. NeurIPS (2023)
Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI (2023)
Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE (2023)
Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. ASE (2023)
Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA (2023)
Yupeng Zhou, Minghao Liu, Feifei Ma, Na Luo, Minghao Yin
Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts. J. Oper. Res. Soc. 73 (8) (2022)
Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma
Improving Simulated Annealing for Clique Partitioning Problems. J. Artif. Intell. Res. 74 (2022)
Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang
Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI (2022)
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
ε-weakened robustness of deep neural networks. ISSTA (2022)
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
ε-weakened Robustness of Deep Neural Networks. CoRR (2021)
Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. SAT (2021)
Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
Can Graph Neural Networks Learn to Solve MaxSAT Problem? CoRR (2021)
Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. CP (2020)
Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. IJCAI (2019)
Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC (2019)
Minghao Liu, Feifei Ma, Jun Yan
A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KSEM (2) (2018)