Feifei Ma


Institute of Software, Chinese Academy of Sciences

Email: maff(at)ios.ac.cn, maffeics(at)gmail.com

Telephone: 62661641

Address: 4# South Fourth Street, ZhongGuanCun, Haidian District, Beijing  

Postcode: 100190

Research Areas

  • Automated Reasoning and Constraint Solving
  • Computer Mathematics


Ph.D. 2005.09 - 2010.07
Major in Computer Software and Theory
State Key Laboratory of Computer Science,
Institute of Software, Chinese Academy of Science (ISCAS)

B.S. 2001.09-2005.07
Department of Computer Science and Technology,
Wuhan University (WHU)


Work Experience

2019.10-now: Professor, Laboratory of Parallel Software and Computational Science, Institute of Software Chinese Academy of Sciences.

2012.12-2019.9: Associate Professor, Laboratory of Parallel Software and Computational Science, Institute of Software Chinese Academy of Sciences.

2010.7-2012.12: Assistant Researcher, Laboratory of Parallel Software and Computational Science, Institute of Software Chinese Academy of Sciences.

Honors & Distinctions

  1. Wang Xuan News Science and Technology Award, First Prize, 2017.
  2. Science and Technology Award of China Film and Television Society, Second Prize, 2017.



  1.  Approximating Integer Solution Counting via Space Quantification for Linear Constraints. Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang. IJCAI 2019.
  2. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang. IJCAI 2019.
  3. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang. ISSAC 2019.
  4. A New Probabilistic Algorithm for Approximate Model Counting. Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma. IJCAR 2018: 312-328.
  5. Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang. IJCAR 2018: 354-369.
  6. Computing and Estimating the Volume of the Solution Space of SMT(LA) Constraints. Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang. Theoretical Computer Science, 743: 110-129, 2018.
  7. 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. CP 2017.
  8. Weak QMV algebras and some ring-like structures. Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma. Soft Comput. 21(10), 2017.
  9. 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. CP 2016, 2016.
  10. Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. Hai Liu, Feifei Ma, Jian Zhang. PRICAI 2016.
  11. A Fast and Practical Method to Estimate Volumes of Convex Polytopes. Cunjing Ge, Feifei Ma. FAW 2015.
  12. SMT Solving for the Theory of Ordering Constraints. Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang. LCPC 2015.
  13. Finding Orthogonal Latin Squares Using Finite Model Searching Tools. Feifei Ma and Jian Zhang. SCIENCE CHINA Information Sciences, 56(3): 1-9 (2013).
  14. Integrating Standard Dependency Schemes in QCSP Solvers. Ji-Wei Jin, Feifei Ma, Jian Zhang. J. Comput. Sci. Technol 27(1), 2012.
  15. Solving Generalized Optimization Problems Subject to SMT Constraints. Feifei Ma, Jun Yan, Jian Zhang. FAW-AAIM 2012.
  16. Faulty Interaction Identification via Constraint Solving and Optimization. Jian Zhang, Feifei Ma, Zhiqiang Zhang. SAT 2012.
  17. Constraint solving techniques for software testing and analysis. Feifei Ma. ICSE (2) 2010.
  18. Volume Computation for Boolean Combination of Linear Arithmetic Constraints. Feifei Ma, Sheng Liu, Jian Zhang. CADE 2009. 


Automatic Generation of Combinatorial Test Data Springer Briefs in Computer Science.  Jian Zhang, Zhiqiang Zhang. Springer 2014, ISBN 978-3-662-43428-4

Research Interests

Automated Reasoning,Constraint Satisfaction,Computer Mathematics


(1) Extended Research on Satis ability. National Natural Science Foundation of China (NSF China), Grant No. 61100064. (Principal Investigator)  2012.01-2014.12

(2) Crucial Algorithms for Test Cases in Railway Control System. Open Project of State Key Laboratory of Rail Trac Control and Safety, Northern Jiaotong University. (Principal Investigator) 2011.01-2012.12