Feifei Ma   (Chinese Version)                               

maffei2

Professor
Institute of Software
Chinese Academy of Sciences


P.O. Box 8718, Beijing 100190, CHINA


Email: maff@ios.ac.cn  maffeics@gmail.com

Research Interests

 

Experience

 

Education

 

Publications (Partial List)

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.        ACFNet: Attentional Class Feature Network for Semantic Segmentation. Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui Ding. ICCV 2019.

5.        On Some Matching Problems under the Color-spanning Model. Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu. Theoretical Computer Science, 786: 26-31 (2019).

6.        A New Probabilistic Algorithm for Approximate Model Counting. Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma. IJCAR 2018: 312-328.

7.        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.

8.        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.

9.        A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. Minghao Liu, Feifei Ma, Jun Yan. KSEM (2) 2018: 12-23.

10.    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.[benchmark]

11.    Weak QMV algebras and some ring-like structures. Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma. Soft Comput. 21(10), 2017.

12.    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.

13.    A Fast and Practical Method to Estimate Volumes of Convex Polytopes. Cunjing Ge, Feifei Ma. FAW 2015.

14.    SMT Solving for the Theory of Ordering Constraints. Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang. LCPC 2015.

15.    Finding Orthogonal Latin Squares Using Finite Model Searching Tools. Feifei Ma and Jian Zhang. SCIENCE CHINA Information Sciences, 56(3): 1-9 (2013).

16.    Integrating Standard Dependency Schemes in QCSP Solvers. Ji-Wei Jin, Feifei Ma, Jian Zhang. J. Comput. Sci. Technol 27(1),2012.

17.    Solving Generalized Optimization Problems Subject to SMT Constraints. Feifei Ma, Jun Yan, Jian Zhang. FAW-AAIM 2012.

18.    Faulty Interaction Identification via Constraint Solving and Optimization. Jian Zhang, Feifei Ma, Zhiqiang Zhang. SAT 2012.

19.    Constraint solving techniques for software testing and analysis. Feifei Ma. ICSE (2) 2010.

20.    Volume Computation for Boolean Combination of Linear Arithmetic Constraints. Feifei Ma, Sheng Liu, Jian Zhang. CADE 2009.

Books

 

Awards

 


Last Modified: 2020/3/6