`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:

### Wrote 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.