黄沛
组内经历
2022 年毕业
博士
论文
2025
2024
Investigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023CCF CMinghao LiuRui HanFuqi JiaPei HuangFeifei MaHantao ZhangJian ZhangParallel Verification for δ-Equivalence of Neural Network Quantization
SAIV 2024（与 CAV 同期同地举办）Pei HuangYuting YangHaoze WuIeva DaukantasMin WuFuqi JiaClark Barrett
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 ZhangQuantifying Robustness to Adversarial Word Substitutions
ECML-PKDD 2023CCF BYuting YangPei HuangJuao CaoFeifei MaJian ZhangJintao Li
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
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
IJCAR 2018Pei HuangFeifei MaCunjing GeJian ZhangHantao Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。