| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Xiaohui Ji, Feifei Ma, Jian Zhang: Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. ACIS-ICIS 2009: 107-111 |
| 3 | EE | Feifei Ma, Sheng Liu, Jian Zhang: Volume Computation for Boolean Combination of Linear Arithmetic Constraints. CADE 2009: 453-468 |
| 2008 | ||
| 2 | EE | Feifei Ma, Jian Zhang: Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. PRICAI 2008: 247-259 |
| 2007 | ||
| 1 | EE | Feifei Ma, Jian Zhang: Computer Search for Large Sets of Idempotent Quasigroups. ASCM 2007: 349-358 |
| 1 | Xiaohui Ji | [4] |
| 2 | Sheng Liu | [3] |
| 3 | Jian Zhang | [1] [2] [3] [4] |