A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. - Minghao Liu 001; Feifei Ma; Jun Yan 009 (KSEM (2), 2018)

Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. - Pei Huang 002; Minghao Liu 001; Ping Wang; Wenhui Zhang; Feifei Ma; Jian Zhang 001 (IJCAI, 2019)

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. - Pei Huang 002; Minghao Liu 001; Cunjing Ge; Feifei Ma; Jian Zhang 001 (ISSAC, 2019)

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. - Minghao Liu 001; Fan Zhang; Pei Huang 002; Shuzi Niu; Feifei Ma; Jian Zhang 001 (CP, 2020)

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. - Pei Huang 002; Rundong Li; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (SAT, 2021)

Can Graph Neural Networks Learn to Solve MaxSAT Problem? - Minghao Liu 001; Fuqi Jia; Pei Huang 002; Fan Zhang; Yuchen Sun; Shaowei Cai 001; Feifei Ma; Jian Zhang 001 (CoRR, 2021)

Word Level Robustness Enhancement: Fight Perturbation with Perturbation. - Pei Huang 002; Yuting Yang 002; Fuqi Jia; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (AAAI, 2022)

ε-weakened robustness of deep neural networks. - Pei Huang 002; Yuting Yang 002; Minghao Liu 001; Fuqi Jia; Feifei Ma; Jian Zhang 001 (ISSTA, 2022)

Improving Simulated Annealing for Clique Partitioning Problems. - Jian Gao 007; Yiqi Lv; Minghao Liu 001; Shaowei Cai 001; Feifei Ma (J. Artif. Intell. Res., 2022)

Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts. - Yupeng Zhou; Minghao Liu 001; Feifei Ma; Na Luo; Minghao Yin (J. Oper. Res. Soc., 2022)

Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). - Minghao Liu 001; Pei Huang 002; Fuqi Jia; Fan Zhang; Yuchen Sun; Shaowei Cai 001; Feifei Ma; Jian Zhang 001 (AAAI, 2023)

Improving Bit-Blasting for Nonlinear Integer Constraints. - Fuqi Jia; Rui Han; Pei Huang 002; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (ISSTA, 2023)

PSMT: Satisfiability Modulo Theories Meets Probability Distribution. - Fuqi Jia; Rui Han; Xutong Ma; Baoquan Cui; Minghao Liu 001; Pei Huang 002; Feifei Ma; Jian Zhang 001 (ASE, 2023)

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. - Minghao Liu 001; Kunhang Lv; Pei Huang 002; Rui Han; Fuqi Jia; Yu Zhang; Feifei Ma; Jian Zhang 001 (ASE, 2023)

Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. - Fuqi Jia; Yuhang Dong; Minghao Liu 001; Pei Huang 002; Feifei Ma; Jian Zhang 001 (NeurIPS, 2023)

Investigating the Existence of Holey Latin Squares via Satisfiability Testing. - Minghao Liu 001; Rui Han; Fuqi Jia; Pei Huang 002; Feifei Ma; Hantao Zhang 001; Jian Zhang 001 (PRICAI (2), 2023)

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. - Fuqi Jia; Yuhang Dong; Rui Han; Pei Huang 002; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (AAAI, 2025)

Scalable Knowledge Refactoring Using Constrained Optimisation. - Minghao Liu 001; David M. Cerna; Filipe Gouveia; Andrew Cropper (AAAI, 2025)