| 2026 | AAAI | LLM-Guided Quantified SMT Solving over Uninterpreted Functions. | Kunhang Lv, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2025 | AAAI | A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. | Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2025 | EMNLP | ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming. | Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2024 | COLING | PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity. | Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Jintao Li |
| 2023 | AAAI | Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). | Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang |
| 2023 | ISSTA | Improving Bit-Blasting for Nonlinear Integer Constraints. | Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2023 | PRICAI | Investigating the Existence of Holey Latin Squares via Satisfiability Testing. | Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang |
| 2022 | AAAI | Word Level Robustness Enhancement: Fight Perturbation with Perturbation. | Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang |
| 2022 | IJCAI | AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. | Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin |
| 2022 | ISSTA | ε-weakened robustness of deep neural networks. | Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2021 | SAT | Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. | Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang |
| 2021 | SAT | Investigating the Existence of Costas Latin Squares via Satisfiability Testing. | Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang |
| 2020 | APWEB | Knowledge-Driven Multi-dimensional Dialogue Rewriting Model. | Xiangwei Guo, Yongli Wang, Gang Xiao, Feifei Ma |
| 2020 | CP | Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. | Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang |
| 2019 | ICCV | ACFNet: Attentional Class Feature Network for Semantic Segmentation. | Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui Ding |
| 2019 | IJCAI | Approximating Integer Solution Counting via Space Quantification for Linear Constraints. | Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang |
| 2019 | IJCAI | Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. | Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang |
| 2019 | ISSAC | Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. | Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang |
| 2019 | TASE | SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. | Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan |
| 2018 | CADE | VolCE: An Efficient Tool for Solving #SMT(LA) Problems. | Cunjing Ge, Feifei Ma, Jian Zhang |
| 2018 | CADE | A New Probabilistic Algorithm for Approximate Model Counting. | Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma |
| 2018 | CADE | A New Probabilistic Algorithm for Approximate Model Counting. | Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma |
| 2018 | CADE | Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. | Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang |
| 2018 | KSEM | A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. | Minghao Liu, Feifei Ma, Jun Yan |
| 2017 | CP | Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. | Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang |
| 2017 | FAW | On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. | Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu |
| 2017 | ICTAI | A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs. | Rongjie Yan, Yupeng Zhou, Yige Yan, Minghao Yin, Min Yu, Feifei Ma, Kai Huang |
| 2016 | CP | Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. | Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang |
| 2016 | PRICAI | Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. | Hai Liu, Feifei Ma, Jian Zhang |
| 2016 | TASE | Lightweight Method-Level Energy Consumption Estimation for Android Applications. | Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma, Fan Zhang |
| 2015 | FAW | A Fast and Practical Method to Estimate Volumes of Convex Polytopes. | Cunjing Ge, Feifei Ma |
| 2012 | AAIM | Solving Generalized Optimization Problems Subject to SMT Constraints. | Feifei Ma, Jun Yan, Jian Zhang |
| 2012 | WETICE | An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints. | Xiaohui Ji, Feifei Ma |
| 2012 | SAT | Faulty Interaction Identification via Constraint Solving and Optimization. | Jian Zhang, Feifei Ma, Zhiqiang Zhang |
| 2010 | ICSE | Constraint solving techniques for software testing and analysis. | Feifei Ma |
| 2009 | CADE | Volume Computation for Boolean Combination of Linear Arithmetic Constraints. | Feifei Ma, Sheng Liu, Jian Zhang |
| 2008 | PRICAI | Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. | Feifei Ma, Jian Zhang |