# 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 CeO**_{2}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.