Associate Professor of Computer Science
National Laboratory of Software Development Environment
Department of Computer Science and Engineering
Beijing University of Aeronautics and Astronautics
Beijing, 100083, P. R. China.
Email (Always the BEST way to contact me):
kexu(AT)nlsde.buaa.edu.cn; kexu999(AT)gmail.com
(Replace (AT) by @ if you want to send me an email)
Ke Xu and Wei Li.
The SAT Phase Transition. (pdf) (ps.gz)
Science in China, Series E, 42(1999):494-501.
Ke Xu and Wei Li.
Exact Phase Transitions in Random Constraint Satisfaction Problems. (ps) (ps.gz) (pdf)
Journal of Artificial Intelligence Research, 12(2000):93-103.
Ke Xu and Wei Li.
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems.
Annals of Mathematics and Artificial Intelligence, 33(2001):21-37. (pdf) (ps.gz)
Ke Xu and Wei Li.
On the Average Similarity Degree between Solutions of Random k-SAT and Random CSPs.
Discrete Applied Mathematics, 136(2004):125-149. (pdf) (ps.gz)
Qingguo Zheng, Ke Xu, Weifeng Lv and Shilong Ma.
Intelligent Search of Correlated Alarms from Database Containing Noise Data. (pdf)
Proc. 8th IEEE/IFIP Network and Operations Management Symposium (NOMS),
pages 405-419, Italy, 2002.
Qingguo Zheng, Ke Xu, Shilong Ma and Weifeng Lv.
The Algorithms of Updating Sequential Patterns. (pdf)
Proc. 5th International Workshop on High Performance Data Mining (HPDM),
in conjunction with 2nd SIAM Conference on Data Mining, USA, 2002.
Shilong Ma, Yuefei Sui and Ke Xu.
The Limits of Horn Logic Programs. (ps) (ps.gz) (pdf)
Proc. 18th International Conference on Logic Programming (ICLP),
Denmark, LNCS 2401, short paper, page 467, 2002.
Qingguo Zheng, Ke Xu, Weifeng Lv and Shilong Ma.
Intelligent Search of Correlated Alarms for GSM Networks with Model-based Constraints.
Proc. 9th IEEE International Conference on Telecommunications (ICT),
Volume 2, pages 635-645, Beijing, 2002. (pdf)
Wei Li, Shilong Ma, Yuefei Sui and Ke Xu.
A Logical Framework for Convergent Infinite Computations. (ps) (ps.gz)
CoRR Report cs.LO/0105020, 2001.
Qingguo Zheng, Ke Xu and Shilong Ma.
When to Update the Sequential Patterns of Stream Data? (pdf)
Proc. 7th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD),
Korea, LNAI 2637, pages 545-550, 2003.
Shilong Ma, Yuefei Sui and Ke Xu.
The Prioritized Inductive Logic Programs. (ps) (ps.gz)
CoRR Report cs.AI/0206017, 2002.
Ke Xu and Wei Li.
Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances.
CoRR Report cs.CC/0302001, 2003. (ps) (ps.gz) (pdf)
Ke Xu, Frederic Boussemart, Fred Hemery and Christophe Lecoutre.
A Simple Model to Generate Hard Satisfiable Instances. (ps) (ps.gz) (pdf)
Proc. of 19th International Joint Conference on Artificial Intelligence (IJCAI-05), to appear.
Forced Satisfiable CSP and SAT Benchmarks of Model RB
Pseudo-Boolean (0-1 Integer Programming) Benchmarks with Hidden Optimum Solutions (with results from PB 2005)
©2005 Ke Xu