刘明昊
组内经历
2023 年毕业
博士
论文
2025
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025CCF BWeichun ShiMinghao LiuWanting ZhangLangchen ShiFuqi JiaFeifei MaJian Zhang
2024
Investigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023CCF CMinghao LiuRui HanFuqi JiaPei HuangFeifei MaHantao ZhangJian Zhang
2023
Best Student Abstract Honorable Mention Award
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023Minghao LiuPei HuangFuqi JiaFan ZhangYuchen SunShaowei CaiFeifei MaJian ZhangACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023CCF AFuqi JiaRui HanPei HuangMinghao LiuFeifei MaJian Zhang
2022
𝜀 -weakened robustness of deep neural networks
ISSTA 2022CCF APei HuangYuting YangMinghao LiuFuqi JiaFeifei MaJian ZhangWord Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022CCF APei HuangYuting YangFuqi JiaMinghao LiuFeifei MaJian Zhang
2021
2020
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
CP 2020CCF BMinghao LiuFan ZhangPei HuangShuzi NiuFeifei MaJian Zhang
2019
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019CCF BPei HuangMinghao LiuPing WangWenhui ZhangFeifei MaJian Zhang
2018
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。