Follow
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
11372008
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
6312017
Algorithm runtime prediction: Methods & evaluation
F Hutter, L Xu, HH Hoos, K Leyton-Brown
Artificial Intelligence 206, 79-111, 2014
5392014
Hydra: Automatically configuring algorithms for portfolio-based selection
L Xu, H Hoos, K Leyton-Brown
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 210-216, 2010
2492010
SATenstein: Automatically building local search SAT solvers from components
AR KhudaBukhsh, L Xu, HH Hoos, K Leyton-Brown
Artificial Intelligence 232, 20-42, 2016
2322016
SATzilla-07: The design and analysis of an algorithm portfolio for SAT
L Xu, F Hutter, HH Hoos, K Leyton-Brown
Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007
1722007
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
1402011
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
1282012
Intelligent fault diagnosis approach with unsupervised feature learning by stacked denoising autoencoder
M Xia, T Li, L Liu, L Xu, CW de Silva
IET Science, Measurement & Technology 11 (6), 687-695, 2017
1232017
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
1202012
A new efficient algorithm for solving the simple temporal problem
XU Lin, BY Choueiry
Proceedings of the 10th International Symposium on Temporal Representation …, 2003
1072003
SATzilla2009: an automatic algorithm portfolio for SAT
L Xu, F Hutter, HH Hoos, K Leyton-Brown
SAT 4, 53-55, 2009
742009
Hierarchical hardness models for SAT
L Xu, HH Hoos, K Leyton-Brown
International Conference on Principles and Practice of Constraint …, 2007
652007
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
572014
Colorectal cancer detection based on deep learning
L Xu, B Walker, PI Liang, Y Tong, C Xu, YC Su, A Karsan
Journal of Pathology Informatics 11 (1), 28, 2020
482020
Predicting satisfiability at the phase transition
L Xu, H Hoos, K Leyton-Brown
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 584-590, 2012
352012
Features for SAT
L Xu, F Hutter, H Hoos, K Leyton-Brown
University of British Columbia,, Tech. Rep, 2012
282012
Algorithm runtime prediction: The state of the art
F Hutter, L Xu, HH Hoos, K Leyton-Brown
CoRR, abs/1211.0906 11, 2012
262012
Remaining useful life prediction of rotating machinery using hierarchical deep neural network
M Xia, T Li, L Liu, L Xu, S Gao, CW de Silva
2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2017
162017
DaTscan SPECT Image Classification for Parkinson's Disease
J Quan, L Xu, R Xu, T Tong, J Su
arXiv preprint arXiv:1909.04142, 2019
122019
The system can't perform the operation now. Try again later.
Articles 1–20