Minghao Liu - RankMe

23 papers A* 9A 4B 1Journal 7Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AllDiff-LS: solving alldifferent constraints with efficient local search. Frontiers Comput. Sci. Rui Han, Minghao Liu, Yuhang Dong, Fuqi Jia, Yiyuan Wang, Feifei Ma, Minghao Yin, Jian Zhang
2025	A*	`conf`	A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. AAAI Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
2025	A*	`conf`	ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming. EMNLP Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma, Jian Zhang
2025	J	`jnl`	ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming. CoRR Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma, Jian Zhang
2025	A*	`conf`	Scalable Knowledge Refactoring Using Constrained Optimisation. AAAI Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
2024	J	`jnl`	Scalable Knowledge Refactoring using Constrained Optimisation. CoRR Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
2023	A*	`conf`	Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
2023	A	`conf`	Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
2023	—	`conf`	Investigating the Existence of Holey Latin Squares via Satisfiability Testing. PRICAI (2) Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
2023	A*	`conf`	NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. ASE Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang
2023	A*	`conf`	PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
2023	A*	`conf`	Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. NeurIPS Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
2022	J	`jnl`	Improving Simulated Annealing for Clique Partitioning Problems. J. Artif. Intell. Res. Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma
2022	J	`jnl`	Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts. J. Oper. Res. Soc. Yupeng Zhou, Minghao Liu, Feifei Ma, Na Luo, Minghao Yin
2022	A*	`conf`	Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang
2022	A	`conf`	ε-weakened robustness of deep neural networks. ISSTA Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
2021	J	`jnl`	Can Graph Neural Networks Learn to Solve MaxSAT Problem? CoRR Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
2021	A	`conf`	Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. SAT Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang
2021	J	`jnl`	ε-weakened Robustness of Deep Neural Networks. CoRR Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
2020	A	`conf`	Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. CP Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang
2019	B	`conf`	Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
2019	A*	`conf`	Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. IJCAI Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
2018	—	`conf`	A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KSEM (2) Minghao Liu, Feifei Ma, Jun Yan