Feifei Ma
Professor
PhD Supervisor
Automatic reasoning and Constraint solving
Publications
50 publications
Clear all filters2017
Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
CP 2017Linjie 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. 2017Xian LuYun ShangRu-qian LuJian ZhangFeifei Ma
2016
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic
PRICAI 2016Hai LiuFeifei MaJian Zhang- CP 2016Feifei 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
Solving 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 2012Ji-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 2009Feifei MaSheng LiuJian Zhang
2008
Computer Search for Large Sets of Idempotent Quasigroups
ASCM 2007Feifei MaJian Zhang