Publications in computer science

SAT Competition Medals

SAT Challenge 2012
SATzilla2012_ALL: 1st in the 2012 SAT Challenge (Sequential Portfolio Track)
SATzilla2012_APP: 1st in the 2012 SAT Challenge (Application SAT+UNSAT category)
SATzilla2012_ALL: 2nd in the 2012 SAT Challenge (Application SAT+UNSAT category)
SATzilla2012_COMB: 1st in the 2012 SAT Challenge (Hard Combinatorial SAT+UNSAT category)
SATzilla2012_ALL: 2nd in the 2012 SAT Challenge (Hard Combinatorial SAT+UNSAT category)
SATzilla2012_RAND: 2nd in the 2012 SAT Challenge (Random SAT category)
SATzilla2012_ALL: 3rd in the 2012 SAT Challenge (Random SAT category)
SAT Comptition 2009
SATzilla2009_I: Gold in the 2009 SAT Competition (application SAT category)
SATzilla2009_C: Gold in the 2009 SAT Competition (crafted UNSAT category)
SATzilla2009_C: Silver in the 2009 SAT Competition (crafted SAT+UNSAT category)
SATzilla2009_R: Gold in the 2009 SAT Competition (random SAT+UNSAT category)
SATzilla2009_R: Silver in the 2009 SAT Competition (random UNSAT category)
SAT Comptition 2007
SATzilla_CRAFTED (2007): Gold in the 2007 SAT Competition (crafted SAT+UNSAT category)
SATzilla_CRAFTED (2007): SIlver in the 2007 SAT Competition (crafted SAT category)
SATzilla_CRAFTED (2007): Gold in the 2007 SAT Competition (crafted UNSAT category)
SATzilla_RANDOM (2007): Gold in the 2007 SAT Competition (random SAT+UNSAT category)
SATzilla_RANDOM (2007): Bronze in the 2007 SAT Competition (random UNSAT category)

Pulications

L. Xu, H. H. Hoos, K. Leyton-Brown. Predicting Satisfiability at the Phase Transition. Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI-12). 2012. [pdf]
L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown. Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors. Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012). 2012. [pdf]
L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown. Hydra-MIP: Automated Algorithm Configuration and Selection for Mixed Integer Programming. Proceedings of the 18th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2011) (RCRA-IJCAI-11), pp. 16-30, 2011. [pdf]
L. Xu, H. H. Hoos, K. Leyton-Brown. Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection. Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-10), pp. 210-216, 2010. [pdf]
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), pp.517-524, 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. Received the best paper award of IJCAI-JAIR 2010. [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, J. Shen, H. Hoos, K. Leyton-Brown. SATzilla2012: Improved Algorithm Selection Based on Cost-sensitive Classification Models. SAT Challenge 2012, solver description, 2012. [pdf]
L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown. Detailed SATzilla Results from the Data Analysis Track of the 2011 SAT Competition. SAT Competition 2011, Data analysis, 2011. [pdf]
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.