马菲菲
研究员
博士生导师
自动推理与约束求解
论文
2017
Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
CP 2017CCF BLinjie PanJiwei JinXin GaoWei SunFeifei MaMinghao YinJian ZhangOn the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model
FAW 2017Sergey BeregFeifei MaWencheng WangJian ZhangBinhai ZhuWeak QMV algebras and some ring-like structures
Soft Comput. 2017CCF CXian LuYun ShangRu-qian LuJian ZhangFeifei Ma
2016
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic
PRICAI 2016Hai LiuFeifei MaJian Zhang- CP 2016CCF BFeifei MaXin GaoMinghao YinLinjie PanJiwei JinHai LiuJian Zhang
SMT Solving for the Theory of Ordering Constraints
LCPC 2015Cunjing GeFeifei MaJeff HuangJian Zhang
2015
2014
Automatic Generation of Combinatorial Test Data
SpringerBriefs in Computer Science · 2014Jian ZhangZhiqiang ZhangFeifei Ma
2013
Finding orthogonal latin squares using finite model searching tools
SCIS 2013CCF AFeiFei MaJian ZhangSolving Nonlinear SMT Problems Based on an Efficient Lazy Method
Journal of Internet Technology 2013Xiaohui JiFeifei Ma
2012
An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints
WETICE 2012Xiaohui JiFeifei MaIntegrating Standard Dependency Schemes in QCSP Solvers
JCST 2012CCF BJi-Wei JinFei-Fei MaJian Zhang
2010
Constraint solving techniques for software testing and analysis
ICSE 2010Feifei Ma
2009
Solving Global Unconstrained Optimization Problems by Symmetry-Breaking
ACIS-ICIS 2009Xiaohui JiFeifei MaJian ZhangVolume Computation for Boolean Combination of Linear Arithmetic Constraints
CADE 2009CCF BFeifei MaSheng LiuJian Zhang
2008
Computer Search for Large Sets of Idempotent Quasigroups
ASCM 2007Feifei MaJian ZhangFinding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints
PRICAI 2008CCF CFeifei MaJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。