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