Travelled to:1 × Switzerland
1 × USA
Collaborated with:J.Zhang R.Lu S.Liu
Talks about:techniqu (1) strategi (1) isomorph (1) solver (1) search (1) elimin (1) prune (1) power (1) model (1) local (1)
Person: Xiangxue Jia
DBLP: Jia:Xiangxue
Contributed to:
2010
2006Wrote 2 papers:
- SAC-2010-JiaLLZ #satisfiability
- Local lemma: a new strategy of pruning in SAT solvers (XJ, RL, SL, JZ), pp. 2071–2072.
- IJCAR-2006-JiaZ #finite #morphism
- A Powerful Technique to Eliminate Isomorphism in Finite Model Search (XJ, JZ), pp. 318–331.