Lin Xu
Title
Cited by
Cited by
Year
SATzilla: portfolio-based algorithm selection for SAT
L Xu, F Hutter, HH Hoos, K Leyton-Brown
Journal of Artificial Intelligence Research 32 (1), 565-606, 2008
7572008
Algorithm runtime prediction: Methods & evaluation
F Hutter, L Xu, HH Hoos, K Leyton-Brown
Artificial Intelligence 206, 79-111, 2014
2822014
Hydra: Automatically configuring algorithms for portfolio-based selection
L Xu, H Hoos, K Leyton-Brown
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
1512010
SATzilla-07: the design and analysis of an algorithm portfolio for SAT
L Xu, F Hutter, HH Hoos, K Leyton-Brown
International Conference on Principles and Practice of Constraint …, 2007
1362007
SATenstein: Automatically building local search SAT solvers from components
AR KhudaBukhsh, L Xu, HH Hoos, K Leyton-Brown
Twenty-First International Joint Conference on Artificial Intelligence, 2009
1352009
Fault diagnosis for rotating machinery using multiple sensors and convolutional neural networks
M Xia, T Li, L Xu, L Liu, CW De Silva
IEEE/ASME Transactions on Mechatronics 23 (1), 101-110, 2017
1222017
A new efficient algorithm for solving the simple temporal problem
L Xu, BY Choueiry
1022003
Evaluating component solver contributions to portfolio-based algorithm selectors
L Xu, F Hutter, H Hoos, K Leyton-Brown
International Conference on Theory and Applications of Satisfiability …, 2012
742012
SATzilla2012: Improved algorithm selection based on cost-sensitive classification models
L Xu, F Hutter, J Shen, HH Hoos, K Leyton-Brown
Proceedings of SAT Challenge, 57-58, 2012
742012
Hydra-MIP: Automated algorithm configuration and selection for mixed integer programming
L Xu, F Hutter, HH Hoos, K Leyton-Brown
RCRA workshop on experimental evaluation of algorithms for solving problems …, 2011
672011
SATzilla2009: an automatic algorithm portfolio for SAT
L Xu, F Hutter, HH Hoos, K Leyton-Brown
SAT 4, 53-55, 2009
642009
Hierarchical hardness models for SAT
L Xu, HH Hoos, K Leyton-Brown
International Conference on Principles and Practice of Constraint …, 2007
532007
SATenstein: Automatically building local search SAT solvers from components
AR KhudaBukhsh, L Xu, HH Hoos, K Leyton-Brown
Artificial Intelligence 232, 20-42, 2016
372016
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
PJ Denning
Communications of the ACM 60 (12), 20-23, 2017
33*2017
Understanding the empirical hardness of NP-complete problems
K Leyton-Brown, HH Hoos, F Hutter, L Xu
Communications of the ACM 57 (5), 98-107, 2014
322014
Algorithm runtime prediction: The state of the art
F Hutter, L Xu, HH Hoos, K Leyton-Brown
CoRR, abs/1211.0906 11, 2012
222012
AppBooster: Boosting the performance of interactive mobile applications with computation offloading and parameter tuning
W Liu, J Cao, L Yang, L Xu, X Qiu, J Li
IEEE Transactions on Parallel and Distributed Systems 28 (6), 1593-1606, 2016
132016
An efficient consistency algorithm for the temporal constraint satisfaction problem
BY Choueiry, L Xu
AI Communications 17 (4), 213-221, 2004
132004
Predicting satisfiability at the phase transition
L Xu, HH Hoos, K Leyton-Brown
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
122012
Features for SAT
L Xu, F Hutter, H Hoos, K Leyton-Brown
University of British Columbia,, Tech. Rep, 2012
92012
The system can't perform the operation now. Try again later.
Articles 1–20