 | 2012 |
|---|
| 7 |       | Feifei Ma,
Jun Yan,
Jian Zhang:
Solving Generalized Optimization Problems Subject to SMT Constraints.
FAW-AAIM 2012: 247-258 |
| 6 | | Ji-Wei Jin,
Feifei Ma,
Jian Zhang:
Integrating Standard Dependency Schemes in QCSP Solvers.
J. Comput. Sci. Technol. 27(1): 37-41 (2012) |
| 2010 |
|---|
| 5 | | Feifei Ma:
Constraint solving techniques for software testing and analysis.
ICSE (2) 2010: 417-420 |
| 2009 |
|---|
| 4 | | Xiaohui Ji,
Feifei Ma,
Jian Zhang:
Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.
ACIS-ICIS 2009: 107-111 |
| 3 | | Feifei Ma,
Sheng Liu,
Jian Zhang:
Volume Computation for Boolean Combination of Linear Arithmetic Constraints.
CADE 2009: 453-468 |
| 2008 |
|---|
| 2 | | Feifei Ma,
Jian Zhang:
Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.
PRICAI 2008: 247-259 |
| 2007 |
|---|
| 1 | | Feifei Ma,
Jian Zhang:
Computer Search for Large Sets of Idempotent Quasigroups.
ASCM 2007: 349-358 |
Data released under the ODC-BY 1.0 license — See also our legal information page