Feifei Ma

Professor

PhD Supervisor

Automatic reasoning and Constraint solving

Publications

50 publications

2025

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025Fuqi Jia Yuhang Dong Rui Han Pei Huang Minghao LiuFeifei MaJian Zhang
PDF Code
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025Weichun Shi Minghao LiuWanting ZhangLangchen Shi Fuqi JiaFeifei MaJian Zhang
Code

2024

Investigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023Minghao Liu Rui Han Fuqi Jia Pei HuangFeifei MaHantao ZhangJian Zhang
Code

2023

Best Student Abstract Honorable Mention Award
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023Minghao Liu Pei Huang Fuqi Jia Fan ZhangYuchen SunShaowei CaiFeifei MaJian Zhang
Code
ACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023Fuqi Jia Rui Han Pei Huang Minghao LiuFeifei MaJian Zhang
Code
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
ASE 2023Minghao Liu Kunhang Lv Pei Huang Rui Han Fuqi JiaYu ZhangFeifei MaJian Zhang
Code
PSMT: Satisfiability Modulo Theories Meets Probability Distribution
ASE 2023Fuqi Jia Rui Han Xutong Ma Baoquan Cui Minghao Liu Pei HuangFeifei MaJian Zhang
Code
Quantifying Robustness to Adversarial Word Substitutions
ECML-PKDD 2023Yuting YangPei HuangJuao CaoFeifei MaJian ZhangJintao Li
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NeurIPS 2023Fuqi Jia Yuhang Dong Minghao Liu Pei HuangFeifei MaJian Zhang

2022

AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis
IJCAI 2022Jiaxin LiangFeifei MaJunping ZhouMinghao Yin
𝜀 -weakened robustness of deep neural networks
ISSTA 2022Pei HuangYuting YangMinghao Liu Fuqi JiaFeifei MaJian Zhang
Improving Simulated Annealing for Clique Partitioning Problems
JAIR 2022Jian GaoYiqi Lv Minghao LiuShaowei CaiFeifei Ma
Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling
SCIS 2022Yupeng ZhouMingjie FanFeifei MaMinghao Yin
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022Pei HuangYuting YangFuqi Jia Minghao LiuFeifei MaJian Zhang

2021

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
SAT 2021Pei Huang Rundong Li Minghao LiuFeifei MaJian Zhang
Investigating the Existence of Costas Latin Squares via Satisfiability Testing
SAT 2021Jiwei JinYiqi Lv Cunjing GeFeifei MaJian Zhang

2020

A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China
Appl. Soft Comput. 2020Yupeng ZhouMingjie FanFeifei MaXin XuMinghao Yin
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
CP 2020Minghao Liu Fan Zhang Pei HuangShuzi NiuFeifei MaJian Zhang

2019

ACFNet: Attentional Class Feature Network for Semantic Segmentation
ICCV 2019Fan ZhangYanqin ChenZhihang LiZhibin HongJingtuo LiuFeifei MaJunyu HanErrui Ding
Approximating Integer Solution Counting via Space Quantification for Linear Constraints
IJCAI 2019Cunjing GeFeifei MaXutong Ma Fan Zhang Pei Huang Jian Zhang
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
ISSAC 2019Pei Huang Minghao Liu Cunjing GeFeifei MaJian Zhang
On some matching problems under the color-spanning model
TCS 2019Sergey BeregFeifei MaWencheng WangJian ZhangBinhai Zhu
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications
TASE 2019Rongjie YanAnyu CaiHongyu GaoFeifei MaJun Yan
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019Pei Huang Minghao Liu Ping WangWenhui ZhangFeifei MaJian Zhang

2018

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints
KSEM 2018Minghao LiuFeifei MaJun Yan
A New Probabilistic Algorithm for Approximate Model Counting
IJCAR 2018Cunjing GeFeifei MaTian LiuJian Zhang Xutong Ma
Computing and estimating the volume of the solution space of SMT(LA) constraints
TCS 2018Cunjing GeFeifei MaPeng ZhangJian Zhang
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
IJCAR 2018Pei HuangFeifei MaCunjing Ge Jian ZhangHantao Zhang
VolCE: An Efficient Tool for Solving #SMT(LA) Problems
PRUV 2018 (co-located with IJCAR)Cunjing GeFeifei MaJian Zhang
PDF

2017

A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs
ICTAI 2017Rongjie YanYupeng ZhouYige YanMinghao YinMin YuFeifei MaKai Huang