马菲菲 - 中国科学院大学 - 计算机科学与技术学院

个人简介

教育背景 2005-09--2010-06 中国科学院软件研究所工学博士 2001-09--2005-06 武汉大学工学学士工作简历 2019-10~现在, 中国科学院软件研究所, 研究员 2012-12~2019-09,中国科学院软件研究所, 副研究员 2010-07~2012-12,中国科学院软件研究所, 助理研究员教授课程计算机算法设计与分析奖励信息（1）中国科学院青促会优秀会员, , 院级, 2020 （2）王选新闻科学技术奖, 一等奖, 部委级, 2017 （3）中国电影电视技术学会科技进步奖, 二等奖, 部委级, 2017 发表著作（1）组合测试数据的自动生成, Automatic Generation of Combinatorial Test Data, Springer, 2014-09, 第 3 作者科研活动担任IJCAI、AAAI、CP等国际会议的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

研究领域

自动推理，约束求解问题，计算机数学

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1） Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks, The 26th International Conference on Principles and Practice of Constraint Programming, 2020, 通讯作者（2） ACFNet: Attentional Class Feature Network for Semantic Segmentation, International Conference on Computer Vision, 2019, 通讯作者（3） Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing, The 44th International Symposium on Symbolic and Algebraic Computation, 2019, 通讯作者（4） Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring, The 28th International Joint Conference on Artificial Intelligence, 2019, 通讯作者（5） Approximating Integer Solution Counting via Space Quantification for Linear Constraints, The 28th International Joint Conference on Artificial Intelligence, 2019, 通讯作者（6） Computing and Estimating the Volume of the Solution Space of SMT(LA) Constraints, Theoretical Computer Science, 2018, 通讯作者（7） A New Probabilistic Algorithm for Approximate Model Counting, The 9th International Joint Conference on Automated Reasoning, 2018, 通讯作者（8） Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing, The 9th International Joint Conference on Automated Reasoning, 2018, 通讯作者（9） Weak QMV algebras and some ring-like structures, Soft Computing, 2017, 第 5 作者（10） Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment, The 23nd International Conference on Principles and Practice of Constraint Programming, 2017, 通讯作者（11） On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model, Frontiers in Algorithmics - 11th International Workshop, 2017, 第 2 作者（12） Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic, The 14th Pacific Rim International Conference on Artificial Intelligence, 2016, 通讯作者（13） 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, 第 1 作者（14） A Fast and Practical Method to Estimate Volumes of Convex Polytopes, The 9th International Frontiers of Algorithmics Workshop (FAW 2015), 2015, 第 2 作者（15） Finding orthogonal latin squares using finite model searching tools, SCIENCE CHINA Information Sciences, 2013, 第 1 作者（16） Integrating Standard Dependency Schemes in QCSP Solvers, 计算机学报英文版, 2012, 第 2 作者（17） Solving Generalized Optimization Problems Subject to SMT Constraints, Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, 2012, 第 1 作者（18） Faulty Interaction Identification via Constraint Solving and Optimization, Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, 2012, 第 2 作者（19） Constraint solving techniques for software testing and analysis, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, 2010, 第 1 作者（20） Volume Computation for Boolean Combination of Linear Arithmetic Constraints, Proceedings of the 22nd International Conference on Automated Deduction, 2009, 第 1 作者