Lin Xu
TitleCited byYear
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
7412008
Algorithm runtime prediction: Methods & evaluation
F Hutter, L Xu, HH Hoos, K Leyton-Brown
Artificial Intelligence 206, 79-111, 2014
2622014
Hydra: Automatically configuring algorithms for portfolio-based selection
L Xu, H Hoos, K Leyton-Brown
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
1492010
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
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
1342007
A new efficient algorithm for solving the simple temporal problem
L Xu, BY Choueiry
992003
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
862017
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
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
732012
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
662011
SATzilla2009: an automatic algorithm portfolio for SAT
L Xu, F Hutter, HH Hoos, K Leyton-Brown
SAT 4, 53-55, 2009
622009
Hierarchical hardness models for SAT
L Xu, HH Hoos, K Leyton-Brown
International Conference on Principles and Practice of Constraint …, 2007
522007
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
SATenstein: Automatically building local search SAT solvers from components
AR KhudaBukhsh, L Xu, HH Hoos, K Leyton-Brown
Artificial Intelligence 232, 20-42, 2016
312016
Algorithm runtime prediction: The state of the art
F Hutter, L Xu, HH Hoos, K Leyton-Brown
CoRR, abs/1211.0906 11, 2012
222012
An efficient consistency algorithm for the temporal constraint satisfaction problem
BY Choueiry, L Xu
AI Communications 17 (4), 213-221, 2004
132004
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
112016
Predicting satisfiability at the phase transition
L Xu, HH Hoos, K Leyton-Brown
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
92012
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