![]() | ![]() |
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] |