马菲菲
研究员
博士生导师
自动推理与约束求解
论文
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 ZhangQuantifying Robustness to Adversarial Word Substitutions
ECML-PKDD 2023CCF BYuting YangPei HuangJuao CaoFeifei MaJian ZhangJintao Li
2022
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis
IJCAI 2022CCF BJiaxin LiangFeifei MaJunping ZhouMinghao Yin𝜀 -weakened robustness of deep neural networks
ISSTA 2022CCF APei HuangYuting YangMinghao LiuFuqi JiaFeifei MaJian ZhangImproving Simulated Annealing for Clique Partitioning Problems
JAIR 2022CCF BJian GaoYiqi LvMinghao LiuShaowei CaiFeifei Ma- SCIS 2022CCF AYupeng ZhouMingjie FanFeifei MaMinghao Yin
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022CCF APei HuangYuting YangFuqi JiaMinghao LiuFeifei MaJian Zhang
2021
Investigating the Existence of Costas Latin Squares via Satisfiability Testing
SAT 2021CCF BJiwei JinYiqi LvCunjing GeFeifei MaJian Zhang
2020
- Appl. Soft Comput. 2020Yupeng ZhouMingjie FanFeifei MaXin XuMinghao Yin
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
CP 2020CCF BMinghao LiuFan ZhangPei HuangShuzi NiuFeifei MaJian Zhang
2019
ACFNet: Attentional Class Feature Network for Semantic Segmentation
ICCV 2019CCF AFan ZhangYanqin ChenZhihang LiZhibin HongJingtuo LiuFeifei MaJunyu HanErrui DingOn some matching problems under the color-spanning model
TCS 2019CCF BSergey BeregFeifei MaWencheng WangJian ZhangBinhai ZhuSMT-based Multi-objective Optimization for Scheduling of MPSoC Applications
TASE 2019CCF CRongjie YanAnyu CaiHongyu GaoFeifei MaJun YanSolving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019CCF BPei HuangMinghao LiuPing WangWenhui ZhangFeifei MaJian Zhang
2018
A New Probabilistic Algorithm for Approximate Model Counting
IJCAR 2018Cunjing GeFeifei MaTian LiuJian ZhangXutong MaComputing and estimating the volume of the solution space of SMT(LA) constraints
TCS 2018CCF BCunjing GeFeifei MaPeng ZhangJian ZhangInvestigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
IJCAR 2018Pei HuangFeifei MaCunjing GeJian ZhangHantao ZhangVolCE: An Efficient Tool for Solving #SMT(LA) Problems
PRUV 2018（与 IJCAR 同期同地举办）Cunjing GeFeifei MaJian Zhang
2017
- ICTAI 2017CCF CRongjie YanYupeng ZhouYige YanMinghao YinMin YuFeifei MaKai Huang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。