Travelled to:1 × Canada
1 × Italy
1 × South Africa
Collaborated with:J.Zhang ∅ C.Ge J.Z.0001 Z.Zhang S.Liu T.Liu X.Ma P.H.0002 H.Zhang
Talks about:constraint (3) test (2) solv (2) probabilist (1) quasigroup (1) algorithm (1) techniqu (1) investig (1) interact (1) arithmet (1)
Person: Feifei Ma
DBLP: Ma:Feifei
Contributed to:
2012
2010
2009
2018Wrote 5 papers:
- SAT-2012-ZhangMZ #constraints #identification #interactive #optimisation #theorem proving
- Faulty Interaction Identification via Constraint Solving and Optimization (JZ, FM, ZZ), pp. 186–199.
- ICSE-2010-Ma #analysis #constraints #testing #theorem proving
- Constraint solving techniques for software testing and analysis (FM), pp. 417–420.
- CADE-2009-MaLZ #constraints #linear
- Volume Computation for Boolean Combination of Linear Arithmetic Constraints (FM, SL, JZ), pp. 453–468.
- IJCAR-2018-GeMLZM #algorithm #approximate #probability
- A New Probabilistic Algorithm for Approximate Model Counting (CG, FM, TL, JZ0, XM), pp. 312–328.
- IJCAR-2018-HuangMGZZ #satisfiability #scalability #testing
- Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing (PH0, FM, CG, JZ0, HZ), pp. 354–369.