Xiangxue Jia

According to our database, Xiangxue Jia authored at least 3 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Local lemma: a new strategy of pruning in SAT solvers.

Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2006

A Powerful Technique to Eliminate Isomorphism in Finite Model Search.

Xiangxue Jia, Jian Zhang

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Predicate-Oriented Isomorphism Elimination in Model Finding.

Xiangxue Jia, Jian Zhang

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005