| |
| 2006 | ||
|---|---|---|
| 2 | EE | Xiangxue Jia, Jian Zhang: A Powerful Technique to Eliminate Isomorphism in Finite Model Search. IJCAR 2006: 318-331 |
| 2005 | ||
| 1 | EE | Xiangxue Jia, Jian Zhang: Predicate-Oriented Isomorphism Elimination in Model Finding. IJCAI 2005: 1525-1516 |
| 1 | Jian Zhang | [1] [2] |