马菲菲 女 博导 中国科学院软件研究所
电子邮件： maff@ios.ac.cn
通信地址： 北京市海淀区中关村南四街4号
邮政编码： 100190
电子邮件： maff@ios.ac.cn
通信地址： 北京市海淀区中关村南四街4号
邮政编码： 100190
研究领域
自动推理，约束求解问题，计算机数学
教育背景
2005-09--2010-06 中国科学院软件研究所 工学博士
2001-09--2005-06 武汉大学 工学学士
2001-09--2005-06 武汉大学 工学学士
工作经历
工作简历
2019-10~现在, 中国科学院软件研究所, 研究员
2012-12~2019-09,中国科学院软件研究所, 副研究员
2010-07~2012-12,中国科学院软件研究所, 助理研究员
2012-12~2019-09,中国科学院软件研究所, 副研究员
2010-07~2012-12,中国科学院软件研究所, 助理研究员
专利与奖励
奖励信息
（1） ACM SIGSOFT Distinguished Paper Award, , 其他, 2023
（2） 中国科学院青年创新促进会优秀会员, , 院级, 2020
（3） 王选新闻科学技术奖, 一等奖, 部委级, 2017
（4） 中国电影电视技术学会科技进步奖, 二等奖, 部委级, 2017
（2） 中国科学院青年创新促进会优秀会员, , 院级, 2020
（3） 王选新闻科学技术奖, 一等奖, 部委级, 2017
（4） 中国电影电视技术学会科技进步奖, 二等奖, 部委级, 2017
出版信息
发表论文
[1] Frontiers of Computer Science. 2024, 第 6 作者 通讯作者
[2] LREC-COLING 2024. 2024, 第 3 作者
[3] 贾富琦, 韩瑞, 马旭桐, 崔保全, 刘明昊, 黄沛, 马菲菲, 张健. PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE 2023. 2023, 第 7 作者 通讯作者
[4] Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li. Quantifying Robustness to Adversarial Word Substitutions. ECML-PKDD 2023. 2023, 第 4 作者 通讯作者
[5] Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, 马菲菲, Jian Zhang. Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. Neurips. 2023, 第 5 作者 通讯作者
[6] 贾富琦, 韩瑞, 黄沛, 刘明昊, 马菲菲, 张健. Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA. 2023, 第 5 作者 通讯作者
[7] Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang. Can Graph Neural Networks Learn to Solve the MaxSAT Problem?. AAAI. 2023, 第 7 作者
[8] Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, 马菲菲, Jian Zhang. NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization. ASE. 2023, 第 7 作者 通讯作者
[9] 黄沛, 刘明昊, 马菲菲, 张健. 自动推理技术在求解组合数学难题中的研究进展. 计算机科学[J]. 2023, 第 3 作者50(7): 167-175, http://lib.cqvip.com/Qikan/Article/Detail?id=7109980531.
[10] Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, 马菲菲, Zhang, Hantao, Jian Zhang. Investigating the Existence of Holey Latin Squares via Satisfiability Testing.. Pricai. 2023, 第 5 作者 通讯作者
[11] 贾富琦, 韩瑞, 马旭桐, 崔保全, 刘明昊, 黄沛, 马菲菲, 张健. PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE 2023. 2023, 第 11 作者
[12] Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, 马菲菲, Jian Zhang. Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. Neurips. 2023, 第 11 作者
[13] Yuting Yang, Pei Huang, Juan Cao, 马菲菲, Jian Zhang, Jintao Li. Quantifying Robustness to Adversarial Word Substitutions. ECML. 2023, 第 11 作者
[14] 贾富琦, 韩瑞, 黄沛, 刘明昊, 马菲菲, 张健. Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA. 2023, 第 11 作者
[15] Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang. Can Graph Neural Networks Learn to Solve the MaxSAT Problem?. AAAI. 2023, 第 7 作者
[16] 黄沛, 刘明昊, 马菲菲, 张健. ���������������������������������������������������������������. 计算机科学[J]. 2023, 第 3 作者50(7): 167-175, http://lib.cqvip.com/Qikan/Article/Detail?id=7109980531.
[17] Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, 马菲菲, Jian Zhang. NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization. ASE. 2023, 第 11 作者
[18] Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, 马菲菲, Zhang, Hantao, Jian Zhang. Investigating the Existence of Holey Latin Squares via Satisfiability Testing.. Pricai. 2023, 第 11 作者
[19] Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma. Improving Simulated Annealing for Clique Partitioning Problems. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 74 (2022)[J]. 2022, 第 5 作者 通讯作者 74: 1485-1513,
[20] Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin. AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. IJCAI. 2022, 第 2 作者
[21] yupeng zhou, mingjie fan, Feifei Ma, Minghao Yin. Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. 中国科学 信息科学(英文版)[J]. 2022, 第 3 作者 通讯作者
[22] Yang, Yuting, Huang, Pei, Ma, FeiFei, Cao, Juan, Zhang, Meishan, Zhang, Jian, Li, Jintao. Quantifying Robustness to Adversarial Word Substitutions. 2022, 第 3 作者
[23] Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, 马菲菲, Jian Zhang. ε-weakened robustness of deep neural networks.. ISSTA. 2022, 第 5 作者 通讯作者
[24] Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang. Word Level Robustness Enhancement: Fight Perturbation with Perturbation. The Thirty-Sixth AAAI Conference on Artificial Intelligence. 2022, 第 5 作者 通讯作者
[25] Zhou, Yupeng, Fan, Mingjie, Ma, Feifei, Yin, Minghao. Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2022, 第 3 作者 通讯作者 65(8): 19-34, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=7310093&detailType=1.
[26] Huang, Pei, Yang, Yuting, Liu, Minghao, Jia, Fuqi, Ma, Feifei, Zhang, Jian. {\epsilon}-weakened Robustness of Deep Neural Networks. ISSTA. 2022, 第 5 作者 通讯作者
[27] Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma. Improving Simulated Annealing for Clique Partitioning Problems. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 74 (2022)[J]. 2022, 第 11 作者74: 1485-1513,
[28] Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin. AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. IJCAI. 2022, 第 2 作者
[29] yupeng zhou, mingjie fan, Feifei Ma, Minghao Yin. Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. 中国科学 信息科学(英文版)[J]. 2022, 第 11 作者
[30] Yang, Yuting, Huang, Pei, Ma, FeiFei, Cao, Juan, Zhang, Meishan, Zhang, Jian, Li, Jintao. Quantifying Robustness to Adversarial Word Substitutions. 2022, 第 3 作者
[31] Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, 马菲菲, Jian Zhang. ��-weakened robustness of deep neural networks.. ISSTA. 2022, 第 11 作者
[32] Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang. Word Level Robustness Enhancement: Fight Perturbation with Perturbation. The Thirty-Sixth AAAI Conference on Artificial Intelligence. 2022, 第 11 作者
[33] Zhou, Yupeng, Fan, Mingjie, Ma, Feifei, Yin, Minghao. Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2022, 第 11 作者65(8): 19-34,
[34] Huang, Pei, Yang, Yuting, Liu, Minghao, Jia, Fuqi, Ma, Feifei, Zhang, Jian. {\epsilon}-weakened Robustness of Deep Neural Networks. ISSTA. 2022, 第 11 作者
[35] Jian Zhang. Efficient SAT-based Minimal Model Generation Methods for Modal Logic S5. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021,
[36] Jian Zhang. Investigating the Existence of Costas Latin Squares via Satisfiability Testing. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021,
[37] Jian Zhang. Efficient SAT-based Minimal Model Generation Methods for Modal Logic S5. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021,
[38] Jian Zhang. Investigating the Existence of Costas Latin Squares via Satisfiability Testing. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021,
[39] Zhou, Yupeng, Fan, Mingjie, Ma, Feifei, Xu, Xin, Yin, Minghao. A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China. APPLIED SOFT COMPUTING[J]. 2020, 第 3 作者 通讯作者 91: http://dx.doi.org/10.1016/j.asoc.2020.106251.
[40] Jian Zhang. Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. The 26th International Conference on Principles and Practice of Constraint Programming. 2020,
[41] Zhou, Yupeng, Fan, Mingjie, Ma, Feifei, Xu, Xin, Yin, Minghao. A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China. APPLIED SOFT COMPUTING[J]. 2020, 第 11 作者91: http://dx.doi.org/10.1016/j.asoc.2020.106251.
[42] Jian Zhang. Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. The 26th International Conference on Principles and Practice of Constraint Programming. 2020,
[43] Feifei Ma. Approximating Integer Solution Counting via Space Quantification for Linear Constraints. The 28th International Joint Conference on Artificial Intelligence. 2019, 第 1 作者 通讯作者
[44] Zhang, Fan, Chen, Yanqin, Li, Zhihang, Hong, Zhibin, Liu, Jingtuo, Ma, Feifei, Han, Junyu, Ding, Errui, IEEE. ACFNet: Attentional Class Feature Network for Semantic Segmentation. 2019 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2019). 2019, 第 6 作者6797-6806,
[45] Huang, Pei, Liu, Minghao, Ge, Cunjing, Ma, Feifei, Zhang, Jian, ACM. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19). 2019, 第 4 作者 通讯作者 203-210, http://dx.doi.org/10.1145/3326229.3326232.
[46] Bereg, Sergey, Ma, Feifei, Wang, Wencheng, Zhang, Jian, Zhu, Binhai. On some matching problems under the color-spanning model. THEORETICALCOMPUTERSCIENCE[J]. 2019, 第 2 作者786: 26-31, http://dx.doi.org/10.1016/j.tcs.2018.08.008.
[47] Jian Zhang. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. The 28th International Joint Conference on Artificial Intelligence. 2019,
[48] Feifei Ma. Approximating Integer Solution Counting via Space Quantification for Linear Constraints. The 28th International Joint Conference on Artificial Intelligence. 2019, 第 11 作者
[49] Zhang, Fan, Chen, Yanqin, Li, Zhihang, Hong, Zhibin, Liu, Jingtuo, Ma, Feifei, Han, Junyu, Ding, Errui, IEEE. ACFNet: Attentional Class Feature Network for Semantic Segmentation. 2019 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2019). 2019, 第 6 作者6797-6806,
[50] Huang, Pei, Liu, Minghao, Ge, Cunjing, Ma, Feifei, Zhang, Jian, ACM. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19). 2019, 第 11 作者203-210, http://dx.doi.org/10.1145/3326229.3326232.
[51] Jian Zhang. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. The 28th International Joint Conference on Artificial Intelligence. 2019,
[52] Bereg, Sergey, Ma, Feifei, Wang, Wencheng, Zhang, Jian, Zhu, Binhai. On some matching problems under the color-spanning model. THEORETICALCOMPUTERSCIENCE[J]. 2019, 第 2 作者786: 26-31, http://dx.doi.org/10.1016/j.tcs.2018.08.008.
[53] Ge Cunjing, Ma Feifei, Liu Tian, Zhang Jian, Ma Xutong, Galmiche D, Schulz S, Sebastiani R. A New Probabilistic Algorithm for Approximate Model Counting. AUTOMATED REASONING, IJCAR 2018. 2018, 第 2 作者 通讯作者 10900: 312-328,
[54] Liu Minghao, Ma Feifei, Yan Jun, Liu W, Giunchiglia F, Yang B. A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2018, PT II. 2018, 第 2 作者 通讯作者 11062: 12-23,
[55] Ge, Cunjing, Ma, Feifei, Zhang, Peng, Zhang, Jian. Computing and estimating the volume of the solution space of SMT(LA) constraints. THEORETICAL COMPUTER SCIENCE[J]. 2018, 第 2 作者 通讯作者 743: 110-129, https://www.webofscience.com/wos/woscc/full-record/WOS:000444661700010.
[56] Huang Pei, Ma Feifei, Ge Cunjing, Zhang Jian, Zhang Hantao, Galmiche D, Schulz S, Sebastiani R. Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. AUTOMATED REASONING, IJCAR 2018. 2018, 第 2 作者 通讯作者 10900: 354-369,
[57] Ge Cunjing, Ma Feifei, Liu Tian, Zhang Jian, Ma Xutong, Galmiche D, Schulz S, Sebastiani R. A New Probabilistic Algorithm for Approximate Model Counting. AUTOMATED REASONING, IJCAR 2018. 2018, 第 11 作者10900: 312-328,
[58] Liu Minghao, Ma Feifei, Yan Jun, Liu W, Giunchiglia F, Yang B. A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2018, PT II. 2018, 第 11 作者11062: 12-23,
[59] Ge, Cunjing, Ma, Feifei, Zhang, Peng, Zhang, Jian. Computing and estimating the volume of the solution space of SMT(LA) constraints. THEORETICAL COMPUTER SCIENCE[J]. 2018, 第 11 作者743: 110-129, https://www.webofscience.com/wos/woscc/full-record/WOS:000444661700010.
[60] Huang Pei, Ma Feifei, Ge Cunjing, Zhang Jian, Zhang Hantao, Galmiche D, Schulz S, Sebastiani R. Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. AUTOMATED REASONING, IJCAR 2018. 2018, 第 11 作者10900: 354-369,
[61] Pan, Linjie, Jin, Jiwei, Gao, Xin, Sun, Wei, Ma, Feifei, Yin, Minghao, Zhang, Jian, Beck, JC. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017). 2017, 第 5 作者 通讯作者 10416: 405-413,
[62] Bereg Sergey, Ma Feifei, Wang Wencheng, Zhang Jian, Zhu Binhai, Xiao M, Rosamond F. On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. FRONTIERS IN ALGORITHMICS, FAW 2017. 2017, 第 2 作者10336: 13-21,
[63] Lu, Xian, Shang, Yun, Lu, Ruqian, Zhang, Jian, Ma, Feifei. Weak QMV algebras and some ring-like structures. SOFT COMPUTING[J]. 2017, 第 5 作者21(10): 2537-2547, http://dx.doi.org/10.1007/s00500-017-2577-8.
[64] Pan, Linjie, Jin, Jiwei, Gao, Xin, Sun, Wei, Ma, Feifei, Yin, Minghao, Zhang, Jian, Beck, JC. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017). 2017, 第 11 作者10416: 405-413,
[65] Bereg Sergey, Ma Feifei, Wang Wencheng, Zhang Jian, Zhu Binhai, Xiao M, Rosamond F. On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. FRONTIERS IN ALGORITHMICS, FAW 2017. 2017, 第 2 作者10336: 13-21,
[66] Lu, Xian, Shang, Yun, Lu, Ruqian, Zhang, Jian, Ma, Feifei. Weak QMV algebras and some ring-like structures. SOFT COMPUTING[J]. 2017, 第 5 作者21(10): 2537-2547, http://dx.doi.org/10.1007/s00500-017-2577-8.
[67] Liu Hai, Ma Feifei, Zhang Jian, Booth R, Zhang ML. Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI 2016: TRENDS IN ARTIFICIAL INTELLIGENCE. 2016, 第 2 作者 通讯作者 9810: 262-270,
[68] Jian Zhang. Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. The 22nd International Conference on Principles and Practice of Constraint Programming. 2016,
[69] Liu Hai, Ma Feifei, Zhang Jian, Booth R, Zhang ML. Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI 2016: TRENDS IN ARTIFICIAL INTELLIGENCE. 2016, 第 11 作者9810: 262-270,
[70] Jian Zhang. Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. The 22nd International Conference on Principles and Practice of Constraint Programming. 2016,
[71] 金继伟, 马菲菲, 张健. SMT求解技术简述. 计算机科学与探索[J]. 2015, 第 2 作者9(7): 769-780, http://lib.cqvip.com/Qikan/Article/Detail?id=665316953.
[72] 金继伟, 马菲菲, 张健. SMT������������������. 计算机科学与探索[J]. 2015, 第 2 作者9(7): 769-780, http://lib.cqvip.com/Qikan/Article/Detail?id=665316953.
[73] Ji, Xiaohui, Ma, Feifei. Solving Nonlinear SMT Problems Based on an Efficient Lazy Method. JOURNAL OF INTERNET TECHNOLOGY[J]. 2013, 第 2 作者14(3): 379-386, https://www.webofscience.com/wos/woscc/full-record/WOS:000320291200004.
[74] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCECHINAINFORMATIONSCIENCES[J]. 2013, 第 1 作者56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[75] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2013, 第 1 作者56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[76] Ji, Xiaohui, Ma, Feifei. Solving Nonlinear SMT Problems Based on an Efficient Lazy Method. JOURNAL OF INTERNET TECHNOLOGY[J]. 2013, 第 2 作者14(3): 379-386, https://www.webofscience.com/wos/woscc/full-record/WOS:000320291200004.
[77] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCECHINAINFORMATIONSCIENCES[J]. 2013, 第 1 作者56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[78] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2013, 第 1 作者56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[79] Ji Xiaohui, Ma Feifei. An efficient lazy smt solver for nonlinear numerical constraints. PROCEEDINGS OF THE WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, WET ICE. 2012, 第 2 作者324-329,
[80] Ma Feifei, Yan Jun, Zhang Jian. Solving generalized optimization problems subject to smt constraints. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 1 作者247-258, http://ir.iscas.ac.cn/handle/311060/15733.
[81] Zhang Jian, Ma Feifei, Zhang Zhiqiang. Faulty interaction identification via constraint solving and optimization. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 2 作者186-199, http://ir.iscas.ac.cn/handle/311060/15773.
[82] Jin, JiWei, Ma, FeiFei, Zhang, Jian. Integrating Standard Dependency Schemes in QCSP Solvers. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2012, 第 2 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[83] 金继伟, 马菲菲, 张健. Integrating Standard Dependency Schemes in QCSP Solvers. 计算机科学技术学报：英文版[J]. 2012, 第 2 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[84] Ji Xiaohui, Ma Feifei. An efficient lazy smt solver for nonlinear numerical constraints. PROCEEDINGS OF THE WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, WET ICE. 2012, 第 2 作者324-329,
[85] Ma Feifei, Yan Jun, Zhang Jian. Solving generalized optimization problems subject to smt constraints. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 1 作者247-258, http://ir.iscas.ac.cn/handle/311060/15733.
[86] Zhang Jian, Ma Feifei, Zhang Zhiqiang. Faulty interaction identification via constraint solving and optimization. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 2 作者186-199, http://ir.iscas.ac.cn/handle/311060/15773.
[87] Jin, JiWei, Ma, FeiFei, Zhang, Jian. Integrating Standard Dependency Schemes in QCSP Solvers. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2012, 第 2 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[88] 金继伟, 马菲菲, 张健. Integrating Standard Dependency Schemes in QCSP Solvers. 计算机科学技术学报：英文版[J]. 2012, 第 2 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[89] Ma Feifei. Constraint solving techniques for software testing and analysis. PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. 2010, 第 1 作者417-420, http://124.16.136.157/handle/311060/8704.
[90] Ma Feifei. Constraint solving techniques for software testing and analysis. PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. 2010, 第 1 作者417-420, http://124.16.136.157/handle/311060/8704.
[91] Ji Xiaohui, Ma Feifei, Zhang Jian, Miao H, Hu G. Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE. 2009, 第 2 作者107-+, http://dx.doi.org/10.1109/ICIS.2009.66.
[92] Ma Feifei, Liu Sheng, Zhang Jian, Schmidt RA. Volume Computation for Boolean Combination of Linear Arithmetic Constraints. AUTOMATED DEDUCTION - CADE-22. 2009, 第 1 作者 通讯作者 5663: 453-468,
[93] Ji Xiaohui, Ma Feifei, Zhang Jian, Miao H, Hu G. Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE. 2009, 第 2 作者107-+, http://dx.doi.org/10.1109/ICIS.2009.66.
[94] Ma Feifei, Liu Sheng, Zhang Jian, Schmidt RA. Volume Computation for Boolean Combination of Linear Arithmetic Constraints. AUTOMATED DEDUCTION - CADE-22. 2009, 第 11 作者5663: 453-468,
[95] Ge, Cunjing, Ma, Feifei, Zhang, Jian. A Fast and Practical Method to Estimate Volumes of Convex Polytopes. 第 2 作者http://arxiv.org/abs/1401.0120.
[96] Ge, Cunjing, Ma, Feifei, Zhang, Jian. A Fast and Practical Method to Estimate Volumes of Convex Polytopes. 第 2 作者http://arxiv.org/abs/1401.0120.
[2] LREC-COLING 2024. 2024, 第 3 作者
[3] 贾富琦, 韩瑞, 马旭桐, 崔保全, 刘明昊, 黄沛, 马菲菲, 张健. PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE 2023. 2023, 第 7 作者 通讯作者
[4] Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li. Quantifying Robustness to Adversarial Word Substitutions. ECML-PKDD 2023. 2023, 第 4 作者 通讯作者
[5] Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, 马菲菲, Jian Zhang. Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. Neurips. 2023, 第 5 作者 通讯作者
[6] 贾富琦, 韩瑞, 黄沛, 刘明昊, 马菲菲, 张健. Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA. 2023, 第 5 作者 通讯作者
[7] Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang. Can Graph Neural Networks Learn to Solve the MaxSAT Problem?. AAAI. 2023, 第 7 作者
[8] Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, 马菲菲, Jian Zhang. NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization. ASE. 2023, 第 7 作者 通讯作者
[9] 黄沛, 刘明昊, 马菲菲, 张健. 自动推理技术在求解组合数学难题中的研究进展. 计算机科学[J]. 2023, 第 3 作者50(7): 167-175, http://lib.cqvip.com/Qikan/Article/Detail?id=7109980531.
[10] Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, 马菲菲, Zhang, Hantao, Jian Zhang. Investigating the Existence of Holey Latin Squares via Satisfiability Testing.. Pricai. 2023, 第 5 作者 通讯作者
[11] 贾富琦, 韩瑞, 马旭桐, 崔保全, 刘明昊, 黄沛, 马菲菲, 张健. PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE 2023. 2023, 第 11 作者
[12] Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, 马菲菲, Jian Zhang. Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. Neurips. 2023, 第 11 作者
[13] Yuting Yang, Pei Huang, Juan Cao, 马菲菲, Jian Zhang, Jintao Li. Quantifying Robustness to Adversarial Word Substitutions. ECML. 2023, 第 11 作者
[14] 贾富琦, 韩瑞, 黄沛, 刘明昊, 马菲菲, 张健. Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA. 2023, 第 11 作者
[15] Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang. Can Graph Neural Networks Learn to Solve the MaxSAT Problem?. AAAI. 2023, 第 7 作者
[16] 黄沛, 刘明昊, 马菲菲, 张健. ���������������������������������������������������������������. 计算机科学[J]. 2023, 第 3 作者50(7): 167-175, http://lib.cqvip.com/Qikan/Article/Detail?id=7109980531.
[17] Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, 马菲菲, Jian Zhang. NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization. ASE. 2023, 第 11 作者
[18] Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, 马菲菲, Zhang, Hantao, Jian Zhang. Investigating the Existence of Holey Latin Squares via Satisfiability Testing.. Pricai. 2023, 第 11 作者
[19] Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma. Improving Simulated Annealing for Clique Partitioning Problems. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 74 (2022)[J]. 2022, 第 5 作者 通讯作者 74: 1485-1513,
[20] Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin. AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. IJCAI. 2022, 第 2 作者
[21] yupeng zhou, mingjie fan, Feifei Ma, Minghao Yin. Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. 中国科学 信息科学(英文版)[J]. 2022, 第 3 作者 通讯作者
[22] Yang, Yuting, Huang, Pei, Ma, FeiFei, Cao, Juan, Zhang, Meishan, Zhang, Jian, Li, Jintao. Quantifying Robustness to Adversarial Word Substitutions. 2022, 第 3 作者
[23] Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, 马菲菲, Jian Zhang. ε-weakened robustness of deep neural networks.. ISSTA. 2022, 第 5 作者 通讯作者
[24] Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang. Word Level Robustness Enhancement: Fight Perturbation with Perturbation. The Thirty-Sixth AAAI Conference on Artificial Intelligence. 2022, 第 5 作者 通讯作者
[25] Zhou, Yupeng, Fan, Mingjie, Ma, Feifei, Yin, Minghao. Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2022, 第 3 作者 通讯作者 65(8): 19-34, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=7310093&detailType=1.
[26] Huang, Pei, Yang, Yuting, Liu, Minghao, Jia, Fuqi, Ma, Feifei, Zhang, Jian. {\epsilon}-weakened Robustness of Deep Neural Networks. ISSTA. 2022, 第 5 作者 通讯作者
[27] Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma. Improving Simulated Annealing for Clique Partitioning Problems. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 74 (2022)[J]. 2022, 第 11 作者74: 1485-1513,
[28] Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin. AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. IJCAI. 2022, 第 2 作者
[29] yupeng zhou, mingjie fan, Feifei Ma, Minghao Yin. Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. 中国科学 信息科学(英文版)[J]. 2022, 第 11 作者
[30] Yang, Yuting, Huang, Pei, Ma, FeiFei, Cao, Juan, Zhang, Meishan, Zhang, Jian, Li, Jintao. Quantifying Robustness to Adversarial Word Substitutions. 2022, 第 3 作者
[31] Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, 马菲菲, Jian Zhang. ��-weakened robustness of deep neural networks.. ISSTA. 2022, 第 11 作者
[32] Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang. Word Level Robustness Enhancement: Fight Perturbation with Perturbation. The Thirty-Sixth AAAI Conference on Artificial Intelligence. 2022, 第 11 作者
[33] Zhou, Yupeng, Fan, Mingjie, Ma, Feifei, Yin, Minghao. Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2022, 第 11 作者65(8): 19-34,
[34] Huang, Pei, Yang, Yuting, Liu, Minghao, Jia, Fuqi, Ma, Feifei, Zhang, Jian. {\epsilon}-weakened Robustness of Deep Neural Networks. ISSTA. 2022, 第 11 作者
[35] Jian Zhang. Efficient SAT-based Minimal Model Generation Methods for Modal Logic S5. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021,
[36] Jian Zhang. Investigating the Existence of Costas Latin Squares via Satisfiability Testing. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021,
[37] Jian Zhang. Efficient SAT-based Minimal Model Generation Methods for Modal Logic S5. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021,
[38] Jian Zhang. Investigating the Existence of Costas Latin Squares via Satisfiability Testing. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021,
[39] Zhou, Yupeng, Fan, Mingjie, Ma, Feifei, Xu, Xin, Yin, Minghao. A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China. APPLIED SOFT COMPUTING[J]. 2020, 第 3 作者 通讯作者 91: http://dx.doi.org/10.1016/j.asoc.2020.106251.
[40] Jian Zhang. Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. The 26th International Conference on Principles and Practice of Constraint Programming. 2020,
[41] Zhou, Yupeng, Fan, Mingjie, Ma, Feifei, Xu, Xin, Yin, Minghao. A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China. APPLIED SOFT COMPUTING[J]. 2020, 第 11 作者91: http://dx.doi.org/10.1016/j.asoc.2020.106251.
[42] Jian Zhang. Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. The 26th International Conference on Principles and Practice of Constraint Programming. 2020,
[43] Feifei Ma. Approximating Integer Solution Counting via Space Quantification for Linear Constraints. The 28th International Joint Conference on Artificial Intelligence. 2019, 第 1 作者 通讯作者
[44] Zhang, Fan, Chen, Yanqin, Li, Zhihang, Hong, Zhibin, Liu, Jingtuo, Ma, Feifei, Han, Junyu, Ding, Errui, IEEE. ACFNet: Attentional Class Feature Network for Semantic Segmentation. 2019 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2019). 2019, 第 6 作者6797-6806,
[45] Huang, Pei, Liu, Minghao, Ge, Cunjing, Ma, Feifei, Zhang, Jian, ACM. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19). 2019, 第 4 作者 通讯作者 203-210, http://dx.doi.org/10.1145/3326229.3326232.
[46] Bereg, Sergey, Ma, Feifei, Wang, Wencheng, Zhang, Jian, Zhu, Binhai. On some matching problems under the color-spanning model. THEORETICALCOMPUTERSCIENCE[J]. 2019, 第 2 作者786: 26-31, http://dx.doi.org/10.1016/j.tcs.2018.08.008.
[47] Jian Zhang. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. The 28th International Joint Conference on Artificial Intelligence. 2019,
[48] Feifei Ma. Approximating Integer Solution Counting via Space Quantification for Linear Constraints. The 28th International Joint Conference on Artificial Intelligence. 2019, 第 11 作者
[49] Zhang, Fan, Chen, Yanqin, Li, Zhihang, Hong, Zhibin, Liu, Jingtuo, Ma, Feifei, Han, Junyu, Ding, Errui, IEEE. ACFNet: Attentional Class Feature Network for Semantic Segmentation. 2019 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2019). 2019, 第 6 作者6797-6806,
[50] Huang, Pei, Liu, Minghao, Ge, Cunjing, Ma, Feifei, Zhang, Jian, ACM. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19). 2019, 第 11 作者203-210, http://dx.doi.org/10.1145/3326229.3326232.
[51] Jian Zhang. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. The 28th International Joint Conference on Artificial Intelligence. 2019,
[52] Bereg, Sergey, Ma, Feifei, Wang, Wencheng, Zhang, Jian, Zhu, Binhai. On some matching problems under the color-spanning model. THEORETICALCOMPUTERSCIENCE[J]. 2019, 第 2 作者786: 26-31, http://dx.doi.org/10.1016/j.tcs.2018.08.008.
[53] Ge Cunjing, Ma Feifei, Liu Tian, Zhang Jian, Ma Xutong, Galmiche D, Schulz S, Sebastiani R. A New Probabilistic Algorithm for Approximate Model Counting. AUTOMATED REASONING, IJCAR 2018. 2018, 第 2 作者 通讯作者 10900: 312-328,
[54] Liu Minghao, Ma Feifei, Yan Jun, Liu W, Giunchiglia F, Yang B. A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2018, PT II. 2018, 第 2 作者 通讯作者 11062: 12-23,
[55] Ge, Cunjing, Ma, Feifei, Zhang, Peng, Zhang, Jian. Computing and estimating the volume of the solution space of SMT(LA) constraints. THEORETICAL COMPUTER SCIENCE[J]. 2018, 第 2 作者 通讯作者 743: 110-129, https://www.webofscience.com/wos/woscc/full-record/WOS:000444661700010.
[56] Huang Pei, Ma Feifei, Ge Cunjing, Zhang Jian, Zhang Hantao, Galmiche D, Schulz S, Sebastiani R. Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. AUTOMATED REASONING, IJCAR 2018. 2018, 第 2 作者 通讯作者 10900: 354-369,
[57] Ge Cunjing, Ma Feifei, Liu Tian, Zhang Jian, Ma Xutong, Galmiche D, Schulz S, Sebastiani R. A New Probabilistic Algorithm for Approximate Model Counting. AUTOMATED REASONING, IJCAR 2018. 2018, 第 11 作者10900: 312-328,
[58] Liu Minghao, Ma Feifei, Yan Jun, Liu W, Giunchiglia F, Yang B. A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2018, PT II. 2018, 第 11 作者11062: 12-23,
[59] Ge, Cunjing, Ma, Feifei, Zhang, Peng, Zhang, Jian. Computing and estimating the volume of the solution space of SMT(LA) constraints. THEORETICAL COMPUTER SCIENCE[J]. 2018, 第 11 作者743: 110-129, https://www.webofscience.com/wos/woscc/full-record/WOS:000444661700010.
[60] Huang Pei, Ma Feifei, Ge Cunjing, Zhang Jian, Zhang Hantao, Galmiche D, Schulz S, Sebastiani R. Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. AUTOMATED REASONING, IJCAR 2018. 2018, 第 11 作者10900: 354-369,
[61] Pan, Linjie, Jin, Jiwei, Gao, Xin, Sun, Wei, Ma, Feifei, Yin, Minghao, Zhang, Jian, Beck, JC. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017). 2017, 第 5 作者 通讯作者 10416: 405-413,
[62] Bereg Sergey, Ma Feifei, Wang Wencheng, Zhang Jian, Zhu Binhai, Xiao M, Rosamond F. On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. FRONTIERS IN ALGORITHMICS, FAW 2017. 2017, 第 2 作者10336: 13-21,
[63] Lu, Xian, Shang, Yun, Lu, Ruqian, Zhang, Jian, Ma, Feifei. Weak QMV algebras and some ring-like structures. SOFT COMPUTING[J]. 2017, 第 5 作者21(10): 2537-2547, http://dx.doi.org/10.1007/s00500-017-2577-8.
[64] Pan, Linjie, Jin, Jiwei, Gao, Xin, Sun, Wei, Ma, Feifei, Yin, Minghao, Zhang, Jian, Beck, JC. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017). 2017, 第 11 作者10416: 405-413,
[65] Bereg Sergey, Ma Feifei, Wang Wencheng, Zhang Jian, Zhu Binhai, Xiao M, Rosamond F. On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. FRONTIERS IN ALGORITHMICS, FAW 2017. 2017, 第 2 作者10336: 13-21,
[66] Lu, Xian, Shang, Yun, Lu, Ruqian, Zhang, Jian, Ma, Feifei. Weak QMV algebras and some ring-like structures. SOFT COMPUTING[J]. 2017, 第 5 作者21(10): 2537-2547, http://dx.doi.org/10.1007/s00500-017-2577-8.
[67] Liu Hai, Ma Feifei, Zhang Jian, Booth R, Zhang ML. Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI 2016: TRENDS IN ARTIFICIAL INTELLIGENCE. 2016, 第 2 作者 通讯作者 9810: 262-270,
[68] Jian Zhang. Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. The 22nd International Conference on Principles and Practice of Constraint Programming. 2016,
[69] Liu Hai, Ma Feifei, Zhang Jian, Booth R, Zhang ML. Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI 2016: TRENDS IN ARTIFICIAL INTELLIGENCE. 2016, 第 11 作者9810: 262-270,
[70] Jian Zhang. Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. The 22nd International Conference on Principles and Practice of Constraint Programming. 2016,
[71] 金继伟, 马菲菲, 张健. SMT求解技术简述. 计算机科学与探索[J]. 2015, 第 2 作者9(7): 769-780, http://lib.cqvip.com/Qikan/Article/Detail?id=665316953.
[72] 金继伟, 马菲菲, 张健. SMT������������������. 计算机科学与探索[J]. 2015, 第 2 作者9(7): 769-780, http://lib.cqvip.com/Qikan/Article/Detail?id=665316953.
[73] Ji, Xiaohui, Ma, Feifei. Solving Nonlinear SMT Problems Based on an Efficient Lazy Method. JOURNAL OF INTERNET TECHNOLOGY[J]. 2013, 第 2 作者14(3): 379-386, https://www.webofscience.com/wos/woscc/full-record/WOS:000320291200004.
[74] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCECHINAINFORMATIONSCIENCES[J]. 2013, 第 1 作者56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[75] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2013, 第 1 作者56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[76] Ji, Xiaohui, Ma, Feifei. Solving Nonlinear SMT Problems Based on an Efficient Lazy Method. JOURNAL OF INTERNET TECHNOLOGY[J]. 2013, 第 2 作者14(3): 379-386, https://www.webofscience.com/wos/woscc/full-record/WOS:000320291200004.
[77] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCECHINAINFORMATIONSCIENCES[J]. 2013, 第 1 作者56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[78] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2013, 第 1 作者56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[79] Ji Xiaohui, Ma Feifei. An efficient lazy smt solver for nonlinear numerical constraints. PROCEEDINGS OF THE WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, WET ICE. 2012, 第 2 作者324-329,
[80] Ma Feifei, Yan Jun, Zhang Jian. Solving generalized optimization problems subject to smt constraints. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 1 作者247-258, http://ir.iscas.ac.cn/handle/311060/15733.
[81] Zhang Jian, Ma Feifei, Zhang Zhiqiang. Faulty interaction identification via constraint solving and optimization. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 2 作者186-199, http://ir.iscas.ac.cn/handle/311060/15773.
[82] Jin, JiWei, Ma, FeiFei, Zhang, Jian. Integrating Standard Dependency Schemes in QCSP Solvers. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2012, 第 2 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[83] 金继伟, 马菲菲, 张健. Integrating Standard Dependency Schemes in QCSP Solvers. 计算机科学技术学报：英文版[J]. 2012, 第 2 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[84] Ji Xiaohui, Ma Feifei. An efficient lazy smt solver for nonlinear numerical constraints. PROCEEDINGS OF THE WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, WET ICE. 2012, 第 2 作者324-329,
[85] Ma Feifei, Yan Jun, Zhang Jian. Solving generalized optimization problems subject to smt constraints. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 1 作者247-258, http://ir.iscas.ac.cn/handle/311060/15733.
[86] Zhang Jian, Ma Feifei, Zhang Zhiqiang. Faulty interaction identification via constraint solving and optimization. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 2 作者186-199, http://ir.iscas.ac.cn/handle/311060/15773.
[87] Jin, JiWei, Ma, FeiFei, Zhang, Jian. Integrating Standard Dependency Schemes in QCSP Solvers. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2012, 第 2 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[88] 金继伟, 马菲菲, 张健. Integrating Standard Dependency Schemes in QCSP Solvers. 计算机科学技术学报：英文版[J]. 2012, 第 2 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[89] Ma Feifei. Constraint solving techniques for software testing and analysis. PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. 2010, 第 1 作者417-420, http://124.16.136.157/handle/311060/8704.
[90] Ma Feifei. Constraint solving techniques for software testing and analysis. PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. 2010, 第 1 作者417-420, http://124.16.136.157/handle/311060/8704.
[91] Ji Xiaohui, Ma Feifei, Zhang Jian, Miao H, Hu G. Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE. 2009, 第 2 作者107-+, http://dx.doi.org/10.1109/ICIS.2009.66.
[92] Ma Feifei, Liu Sheng, Zhang Jian, Schmidt RA. Volume Computation for Boolean Combination of Linear Arithmetic Constraints. AUTOMATED DEDUCTION - CADE-22. 2009, 第 1 作者 通讯作者 5663: 453-468,
[93] Ji Xiaohui, Ma Feifei, Zhang Jian, Miao H, Hu G. Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE. 2009, 第 2 作者107-+, http://dx.doi.org/10.1109/ICIS.2009.66.
[94] Ma Feifei, Liu Sheng, Zhang Jian, Schmidt RA. Volume Computation for Boolean Combination of Linear Arithmetic Constraints. AUTOMATED DEDUCTION - CADE-22. 2009, 第 11 作者5663: 453-468,
[95] Ge, Cunjing, Ma, Feifei, Zhang, Jian. A Fast and Practical Method to Estimate Volumes of Convex Polytopes. 第 2 作者http://arxiv.org/abs/1401.0120.
[96] Ge, Cunjing, Ma, Feifei, Zhang, Jian. A Fast and Practical Method to Estimate Volumes of Convex Polytopes. 第 2 作者http://arxiv.org/abs/1401.0120.
发表著作
（1） 组合测试数据的自动生成, Automatic Generation of Combinatorial Test Data, Springer, 2014-09, 第 3 作者
科研活动
担任IJCAI、AAAI等国际会议的PC member 或Senior PC member。
科研项目
（ 1 ） 面向密码理论的自动推理算法研究, 负责人, 国家任务, 2014-01--2015-12
（ 2 ） 短波广播资源优化调度算法, 负责人, 国家任务, 2015-03--2015-12
（ 3 ） 青年创新促进会, 负责人, 中国科学院计划, 2016-01--2019-12
（ 4 ） 高维SMT公式的求解与解空间大小计算, 负责人, 国家任务, 2020-01--2023-12
（ 5 ） 中国科学院青年创新促进会优秀会员, 负责人, 中国科学院计划, 2021-01--2023-12
（ 6 ） 优化模理论问题的高效求解算法研究, 负责人, 中国科学院计划, 2022-01--2023-12
（ 2 ） 短波广播资源优化调度算法, 负责人, 国家任务, 2015-03--2015-12
（ 3 ） 青年创新促进会, 负责人, 中国科学院计划, 2016-01--2019-12
（ 4 ） 高维SMT公式的求解与解空间大小计算, 负责人, 国家任务, 2020-01--2023-12
（ 5 ） 中国科学院青年创新促进会优秀会员, 负责人, 中国科学院计划, 2021-01--2023-12
（ 6 ） 优化模理论问题的高效求解算法研究, 负责人, 中国科学院计划, 2022-01--2023-12