Publications in computer science

SAT Competition Medals
SATzilla2009_I: Gold at the 2009 SAT Competition (application SAT category)
SATzilla2009_C: Gold at the 2009 SAT Competition (crafted UNSAT category)
SATzilla2009_C: Silver at the 2009 SAT Competition (crafted SAT+UNSAT category)
SATzilla2009_R: Gold at the 2009 SAT Competition (random SAT+UNSAT category)
SATzilla2009_R: Silver at the 2009 SAT Competition (random UNSAT category)
SATzilla_CRAFTED (2007): Gold at the 2007 SAT Competition (crafted SAT+UNSAT category)
SATzilla_CRAFTED (2007): SIlver at the 2007 SAT Competition (crafted SAT category)
SATzilla_CRAFTED (2007): Gold at the 2007 SAT Competition (crafted UNSAT category)
SATzilla_RANDOM (2007): Gold at the 2007 SAT Competition (random SAT+UNSAT category)
SATzilla_RANDOM (2007): Bronze at the 2007 SAT Competition (random UNSAT category)
Pulications
A. R. KhudaBukhsh, L. Xu, H. H. Hoos, K. Leyton-Brown. SATenstein: Automatically Building Local Search SAT Solvers From Components. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-09), accepted, 2009. [pdf]
L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown. SATzilla: Portfolio-based Algorithm Selection for SAT. Journal of Artificial Intelligence Research (JAIR), vol. 32, pp. 565–606, June 2008. [pdf]
L. Xu, H. Hoos, K. Leyton-Brown. Hierarchical Hardness Models for SAT. Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-07), pp. 696-711, 2007. [pdf, slides]
L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown. SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT. Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-07), pp. 712-727, 2007. [pdf, slides]
B. Y. Choueiry, L. Xu. An Efficient Consistency Algorithm for the Temporal Constraint Satisfaction Problem. AI Communications, vol. 17(4), pp. 213-221, 2004. [pdf]
L. Xu, B. Y. Choueiry. Improving Backtrack Search for Solving the TCSP. Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP-03), pp. 754-768, 2003. [pdf, slides]
L. Xu, B. Y. Choueiry. A New Efficient Algorithm for Solving the Simple Temporal Problem. TIME-ICTL 2003, pp. 212-222, 2003. [pdf, slides]
L. Xu, B. Y. Choueiry. An Approximation of Generalized Arc-Consistency for TCSP. IJCAI 03 Workshop on Spatial and Temporal Reasoning, pp. 27-32, 2003. [pdf,slides]
L. Xu, B. Y. Choueiry. Efficient Techniques for Searching the TCSP. IJCAI 03 Workshop on Spatial and Temporal Reasoning, pp. 125-134, 2003. [pdf, slides]
Posters and Technical Reports
L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown. SATzilla2009: an Automatic Algorithm Portfolio for SAT. SAT Competition 2009, solver description, 2009. [pdf]
L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown. SATzilla2008: an Automatic Algorithm Portfolio for SAT. SAT RACE 2008, solver description, 2008. [pdf]
L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown. SATzilla2007: a New & Improved Algorithm Portfolio for SAT. SAT Competition 2007, solver description, 2007. [pdf]
L. Xu, H. H. Hoos, K. Leyton-Brown. Hierarchical Hardness Models for SAT. The 16th Annual Canadian Conference on Intelligent Systems, Victoria, BC, May, 2006. [ppt]
L. Xu, B. Y. Choueiry. Consistency Methods for Temporal Reasoning. Poster, April 2003. [powerpoint]
L. Xu, B. Y. Choueiry. A Comparative Study of Arc-Consistency Algorithms. Tech. Report, 2001. [pdf]

Publications in chemistry

W. Hou, L. Xu, Q.Yan, J. Chen. Synthesis and Catalytic Properties of the Mesoporous Silica-Pillared Layered Tetratitanate with a Super Gallery. Chinese Journal of Inorganic Chemistry, vol. 18(7), pp. 744-748, 2002.
L. Xu, W. Hou, C. Guo, Q. Yan. First Synthesis of Zirconia-pillared Layered Lanthanum Niobate. Chinese Chemical Letters, vol. 11(2), pp. 179-180, 2000.
L. Xu, W. Hou. Preparation of Zirconia-Pillared Lanthanum Niobate. Journal of Nanjing University, vol. 36(1), pp. 95-99, 2000.
W. Hou, L. Xu, L. Chen, Q. Yan, J. Chen. Preparation of Ultrafine CeO2 Particles by Different Methods, II. Frozen Dehydrating Method and Urea Decomposition Method. Journal of Nanjing University, vol. 36(1), pp. 100-103, 2000.
L. Xu, W. Hou, Q. Yan. Preparation of Mesoporous Silica-Pillared Layered Titanoniobate with a High Interlayer Distance and Specific Surface Area. Journal of Nanjing University, vol. 35(5), pp. 631-633, 1999.
W. Hou, L. Xu, J. Qu, C. Guo, L. Chen, Q. Yan. Preparation of Ultrafine Ceric Oxide Particles by Different Methods, I. Sol-Gel Method. Journal of Nanjing University, vol. 35(4), pp. 486-490, 1999.
W. Hou, L. Xu, Q.Yan, X. Han, X. Bao. Synthesis of Silica Pillared Lanthanum Niobate with Different Gallery. Proceedings of 9th National Catalysis Conference (China) , 1998.
L. Xu, B. Ji, Z. Tai. Synthesis and Studies on the Characteristic of Film of Ferrocene Acid. Chinese Journal of Inorganic Chemistry, vol. 13(3), pp. 294-300, 1997.