Horst Samulowitz
TitleCited byYear
Algorithm selection and scheduling
S Kadioglu, Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann
International Conference on Principles and Practice of Constraint …, 2011
1382011
Learning to solve QBF
H Samulowitz, R Memisevic
AAAI 7, 255-260, 2007
932007
Algorithm portfolios based on cost-sensitive hierarchical clustering
Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
802013
Experiments with massively parallel constraint solving
L Bordeaux, Y Hamadi, H Samulowitz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
752009
Binary clause reasoning in QBF
H Samulowitz, F Bacchus
International Conference on Theory and Applications of Satisfiability …, 2006
562006
Search combinators
T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey
Constraints 18 (2), 269-305, 2013
552013
Preprocessing qbf
H Samulowitz, J Davies, F Bacchus
International Conference on Principles and Practice of Constraint …, 2006
542006
Using sat in qbf
H Samulowitz, F Bacchus
International Conference on Principles and Practice of Constraint …, 2005
542005
Model-based genetic algorithms for algorithm configuration
C Ansótegui, Y Malitsky, H Samulowitz, M Sellmann, K Tierney
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
482015
Adaptive data augmentation for image classification
A Fawzi, H Samulowitz, D Turaga, P Frossard
2016 IEEE International Conference on Image Processing (ICIP), 3688-3692, 2016
412016
Collaborative expert portfolio management
D Stern, H Samulowitz, R Herbrich, T Graepel, L Pulina, A Tacchella
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
392010
Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers
G Katsirelos, A Sabharwal, H Samulowitz, L Simon
Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
362013
Guiding combinatorial optimization with UCT
A Sabharwal, H Samulowitz, C Reddy
International Conference on Integration of Artificial Intelligence (AI) and …, 2012
362012
An effective algorithm for hyperparameter optimization of neural networks
GI Diaz, A Fokoue-Nkoutche, G Nannicini, H Samulowitz
IBM Journal of Research and Development 61 (4/5), 9: 1-9: 11, 2017
342017
Non-model-based algorithm portfolios for SAT
Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann
International Conference on Theory and Applications of Satisfiability …, 2011
332011
Learning feature engineering for classification
F Nargesian, H Samulowitz, U Khurana, EB Khalil, D Turaga
Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017
272017
Cognito: Automated feature engineering for supervised learning
U Khurana, D Turaga, H Samulowitz, S Parthasrathy
2016 IEEE 16th International Conference on Data Mining Workshops (ICDMW …, 2016
272016
Deep learning for algorithm portfolios
A Loreggia, Y Malitsky, H Samulowitz, V Saraswat
Thirtieth AAAI Conference on Artificial Intelligence, 2016
272016
Selecting Near-Optimal Learners via Incremental Data Allocation
A Sabharwal, H Samulowitz, G Tesauro
272016
Parallel SAT solver selection and scheduling
Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann
International Conference on Principles and Practice of Constraint …, 2012
242012
The system can't perform the operation now. Try again later.
Articles 1–20