BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jia:Xiangxue

Contributed to:

SAC 20102010
IJCAR 20062006

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.