Horst Samulowitz 
contact information
Senior Research Manager and Research ScientistThomas J. Watson Research Center, Yorktown Heights, NY USA +914
9451639
9451639 links
2017
Feature Engineering for Predictive Modeling using Reinforcement Learning
Khurana, Udayan and Samulowitz, Horst and Turaga, Deepak
arXiv preprint arXiv:1709.07150, 2017
Abstract
Khurana, Udayan and Samulowitz, Horst and Turaga, Deepak
arXiv preprint arXiv:1709.07150, 2017
Abstract
An effective algorithm for hyperparameter optimization of neural networks
Diaz, Gonzalo and Fokoue, Achille and Nannicini, Giacomo and Samulowitz, Horst
arXiv preprint arXiv:1705.08520, 2017
Abstract
Diaz, Gonzalo and Fokoue, Achille and Nannicini, Giacomo and Samulowitz, Horst
arXiv preprint arXiv:1705.08520, 2017
Abstract
Learning Feature Engineering for Classification
Fatemeh Nargesian, Horst Samulowitz, Udayan Khurana, Elias Khalil, Deepak Turaga
IJCAI, 2017
Fatemeh Nargesian, Horst Samulowitz, Udayan Khurana, Elias Khalil, Deepak Turaga
IJCAI, 2017
2016
Automating Feature Engineering
Udayan Khurana, Fatemeh Nargesian, Horst Samulowitz, Elias Khalil, Deepak Turaga
NIPS workshop on Artificial Intelligence for Data Science, 2016
Udayan Khurana, Fatemeh Nargesian, Horst Samulowitz, Elias Khalil, Deepak Turaga
NIPS workshop on Artificial Intelligence for Data Science, 2016
Image inpainting through neural networks hallucinations
Fawzi, Alhussein and Samulowitz, Horst and Turaga, Deepak and Frossard, Pascal
Image, Video, and Multidimensional Signal Processing Workshop (IVMSP), 2016 IEEE 12th, pp. 1--5
Abstract
Fawzi, Alhussein and Samulowitz, Horst and Turaga, Deepak and Frossard, Pascal
Image, Video, and Multidimensional Signal Processing Workshop (IVMSP), 2016 IEEE 12th, pp. 1--5
Abstract
Adaptive data augmentation for image classification
Fawzi, Alhussein and Samulowitz, Horst and Turaga, Deepak and Frossard, Pascal
Image Processing (ICIP), 2016 IEEE International Conference on, pp. 3688--3692
Abstract
Fawzi, Alhussein and Samulowitz, Horst and Turaga, Deepak and Frossard, Pascal
Image Processing (ICIP), 2016 IEEE International Conference on, pp. 3688--3692
Abstract
Deep Learning for Algorithm Portfolios.
Loreggia, Andrea and Malitsky, Yuri and Samulowitz, Horst and Saraswat, Vijay A
AAAI, pp. 1280--1286, 2016
Abstract
Loreggia, Andrea and Malitsky, Yuri and Samulowitz, Horst and Saraswat, Vijay A
AAAI, pp. 1280--1286, 2016
Abstract
Cognito: Automated Feature Engineering for Supervised Learning
Udayan Khurana, Deepak Turaga, Horst Samulowitz, Srinivasan Parthasrathy
ICDM, 2016
Udayan Khurana, Deepak Turaga, Horst Samulowitz, Srinivasan Parthasrathy
ICDM, 2016
Selecting Near-Optimal Learners via Incremental Data Allocation.
Sabharwal, Ashish and Samulowitz, Horst and Tesauro, Gerald
AAAI, pp. 2007--2015, 2016
Abstract
Sabharwal, Ashish and Samulowitz, Horst and Tesauro, Gerald
AAAI, pp. 2007--2015, 2016
Abstract
2015
Deep Learning for Algorithm Portfolios
Andrea Loreggia, Yuri Malitsky, Horst Samulowitz, Vijay Saraswat
2015 - cs.toronto.edu
Andrea Loreggia, Yuri Malitsky, Horst Samulowitz, Vijay Saraswat
2015 - cs.toronto.edu
Towards Cognitive Automation of Data Science.
A.Biem, M.Butrico, M.Feblowitz, T.Klinger, Y.Malitsky, K.Ng, A.Perer, C.Reddy, A.Riabov, H.Samulowitz, D.Sow, G.Tesauro, D.Turaga
AAAI, pp. 4268--4269, 2015
A.Biem, M.Butrico, M.Feblowitz, T.Klinger, Y.Malitsky, K.Ng, A.Perer, C.Reddy, A.Riabov, H.Samulowitz, D.Sow, G.Tesauro, D.Turaga
AAAI, pp. 4268--4269, 2015
Model-Based Genetic Algorithms for Algorithm Configuration.
Ans{\'o}tegui, Carlos and Malitsky, Yuri and Samulowitz, Horst and Sellmann, Meinolf and Tierney, Kevin
IJCAI, pp. 733--739, 2015
Abstract
Ans{\'o}tegui, Carlos and Malitsky, Yuri and Samulowitz, Horst and Sellmann, Meinolf and Tierney, Kevin
IJCAI, pp. 733--739, 2015
Abstract
2014
Cognitive automation of data science
Samulowitz, Horst and Sabharwal, A and Reddy, C
ICML AutoML workshop, 2014
Abstract
Samulowitz, Horst and Sabharwal, A and Reddy, C
ICML AutoML workshop, 2014
Abstract
Insights into parallelism with intensive knowledge sharing
Sabharwal, Ashish and Samulowitz, Horst
International Conference on Principles and Practice of Constraint Programming, pp. 655--671, 2014
Abstract
Sabharwal, Ashish and Samulowitz, Horst
International Conference on Principles and Practice of Constraint Programming, pp. 655--671, 2014
Abstract
Parallel combinatorial optimization with decision diagrams
David Bergman, Andre A Cire, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat, Willem-Jan van Hoeve
Integration of AI and OR Techniques in Constraint Programming, pp. 351--367, Springer, 2014
David Bergman, Andre A Cire, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat, Willem-Jan van Hoeve
Integration of AI and OR Techniques in Constraint Programming, pp. 351--367, Springer, 2014
A minizinc tutorial
Marriott, Kim and Stuckey, Peter J and Koninck, LD and Samulowitz, Horst
2014 - minizinc.org, Technical report, 2015. http://www. minizinc. org/downloads/doc-latest/minizinc-tute. pdf
Abstract
Marriott, Kim and Stuckey, Peter J and Koninck, LD and Samulowitz, Horst
2014 - minizinc.org, Technical report, 2015. http://www. minizinc. org/downloads/doc-latest/minizinc-tute. pdf
Abstract
2013
Resolution and parallelizability: barriers to the effficient parallelization of SAT solvers
Sabharwal, Ashish and Samulowitz, Horst and Simon, Laurent and others
Twenty-Seventh AAAI Conference on Artificial Intelligence. 2013; AAAI 2013-27th AAAI Conference, Bellevue, USA, 2013-07-14-2013-07-18,
Abstract
Sabharwal, Ashish and Samulowitz, Horst and Simon, Laurent and others
Twenty-Seventh AAAI Conference on Artificial Intelligence. 2013; AAAI 2013-27th AAAI Conference, Bellevue, USA, 2013-07-14-2013-07-18,
Abstract
Automated Design of Search with Composability.
Sabharwal, Ashish and Samulowitz, Horst and Schrijvers, Tom and Stuckey, Peter J and Tack, Guido
AAAI (Late-Breaking Developments), 2013
Abstract
Sabharwal, Ashish and Samulowitz, Horst and Schrijvers, Tom and Stuckey, Peter J and Tack, Guido
AAAI (Late-Breaking Developments), 2013
Abstract
Automated Design of Search with Composability
Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J Stuckey, Guido Tack
Workshops at the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J Stuckey, Guido Tack
Workshops at the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
CSCH-based Portfolio using CCSat and March
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Competition 2013; Solver and, 28
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Competition 2013; Solver and, 28
CSCH-based Portfolio using Clasp and Sattime
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Competition 2013; Solver and, 24
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Competition 2013; Solver and, 24
Stronger inference through implied literals from conflicts and knapsack covers
Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp. 1--11, Springer, 2013
Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp. 1--11, Springer, 2013
Snappy: A simple algorithm portfolio
Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann
Theory and Applications of Satisfiability Testing--SAT 2013, pp. 422--428, Springer
Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann
Theory and Applications of Satisfiability Testing--SAT 2013, pp. 422--428, Springer
Algorithm portfolios based on cost-sensitive hierarchical clustering
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of the Twenty-Third international joint conference on Artificial Intelligence, pp. 608--614, 2013
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of the Twenty-Third international joint conference on Artificial Intelligence, pp. 608--614, 2013
Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Learning and Intelligent Optimization, pp. 153--167, Springer, 2013
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Learning and Intelligent Optimization, pp. 153--167, Springer, 2013
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers.
Katsirelos, George and Sabharwal, Ashish and Samulowitz, Horst and Simon, Laurent and others
AAAI, 2013
Abstract
Katsirelos, George and Sabharwal, Ashish and Samulowitz, Horst and Simon, Laurent and others
AAAI, 2013
Abstract
2012
An Introduction to Search Combinators
Schrijvers, Tom and Tack, Guido and Wuille, Pieter and Samulowitz, Horst and Stuckey, Peter J
International Symposium on Logic-Based Program Synthesis and Transformation, pp. 2--16, 2012
Abstract
Schrijvers, Tom and Tack, Guido and Wuille, Pieter and Samulowitz, Horst and Stuckey, Peter J
International Symposium on Logic-Based Program Synthesis and Transformation, pp. 2--16, 2012
Abstract
Learning back-clauses in sat
Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf
International Conference on Theory and Applications of Satisfiability Testing, pp. 498--499, 2012
Abstract
Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf
International Conference on Theory and Applications of Satisfiability Testing, pp. 498--499, 2012
Abstract
Parallel Semi-Static Satisfiability Solver Selector (p3S-semistat)
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Challenge 2012; Solver and, 39
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Challenge 2012; Solver and, 39
Industrial Satisfiability Solver (ISS)
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Challenge 2012; Solver and, 27
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Challenge 2012; Solver and, 27
Parallel Static Satisfiability Solver Selector (p3S-stat)
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Challenge 2012; Solver and, 41
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Challenge 2012; Solver and, 41
SatX10: A Scalable Plug&Play Parallel SAT Framework
Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat
Theory and Applications of Satisfiability Testing -- SAT 2012, Lecture Notes in Computer Science, pp. 463-468, Springer
Abstract
Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat
Theory and Applications of Satisfiability Testing -- SAT 2012, Lecture Notes in Computer Science, pp. 463-468, Springer
Abstract
Augmenting clause learning with implied literals
Arie Matsliah, Ashish Sabharwal, Horst Samulowitz
Theory and Applications of Satisfiability Testing--SAT 2012, pp. 500--501, Springer
Arie Matsliah, Ashish Sabharwal, Horst Samulowitz
Theory and Applications of Satisfiability Testing--SAT 2012, pp. 500--501, Springer
Parallel SAT solver selection and scheduling
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Principles and Practice of Constraint Programming, pp. 512--526, 2012
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Principles and Practice of Constraint Programming, pp. 512--526, 2012
Satisfiability Solver Selector (3S)
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Challenge 2012; Solver and, 50
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Proceedings of SAT Challenge 2012; Solver and, 50
Guiding combinatorial optimization with UCT
Ashish Sabharwal, Horst Samulowitz, Chandra Reddy
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 356--361, Springer, 2012
Ashish Sabharwal, Horst Samulowitz, Chandra Reddy
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 356--361, Springer, 2012
2011
Memoizing a monadic mixin DSL
Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter Stuckey
Functional and Constraint Logic Programming, pp. 68--85, Springer, 2011
Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter Stuckey
Functional and Constraint Logic Programming, pp. 68--85, Springer, 2011
Search combinators
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter Stuckey
Principles and Practice of Constraint Programming--CP 2011, 774--788, Springer
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter Stuckey
Principles and Practice of Constraint Programming--CP 2011, 774--788, Springer
Non-model-based algorithm portfolios for SAT
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Theory and Applications of Satisfiability Testing-SAT 2011, 369--370, Springer
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Theory and Applications of Satisfiability Testing-SAT 2011, 369--370, Springer
Algorithm selection and scheduling
Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Principles and Practice of Constraint Programming--CP 2011, 454--469, Springer
Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Principles and Practice of Constraint Programming--CP 2011, 454--469, Springer
2010
An introduction to minizinc
Marriot, K and Stuckey, Peter J and De Koninck, Leslie and Samulowitz, Horst
University of Melbourne G12, 2012, 2010
Abstract
Marriot, K and Stuckey, Peter J and De Koninck, Leslie and Samulowitz, Horst
University of Melbourne G12, 2012, 2010
Abstract
Towards a lightweight standard search language
Horst Samulowitz, Guido Tack, Julien Fischer, Mark Wallace, Peter Stuckey
Constraint Modeling and Reformulation (ModRef’10), 2010
Horst Samulowitz, Guido Tack, Julien Fischer, Mark Wallace, Peter Stuckey
Constraint Modeling and Reformulation (ModRef’10), 2010
Collaborative expert portfolio management
David Stern, Ralf Herbrich, Thore Graepel, Horst Samulowitz, Luca Pulina, Armando Tacchella
Proc. of AAAI, pp. 210--216, 2010
David Stern, Ralf Herbrich, Thore Graepel, Horst Samulowitz, Luca Pulina, Armando Tacchella
Proc. of AAAI, pp. 210--216, 2010
2009
Learning adaptation to solve constraint satisfaction problems
Yuehua Xu, David Stern, Horst Samulowitz
Proc. of Third Workshop on Learning and Intelligent Optimization (LION’03), Trento, Italy, 2009
Yuehua Xu, David Stern, Horst Samulowitz
Proc. of Third Workshop on Learning and Intelligent Optimization (LION’03), Trento, Italy, 2009
Experiments with massively parallel constraint solving
Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz
Proceedings of the 21st international jont conference on Artifical intelligence, pp. 443--448, 2009
Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz
Proceedings of the 21st international jont conference on Artifical intelligence, pp. 443--448, 2009
2008
2007
Dynamically partitioning for solving QBF
Horst Samulowitz, Fahiem Bacchus
Theory and Applications of Satisfiability Testing--SAT 2007, 215--229, Springer
Horst Samulowitz, Fahiem Bacchus
Theory and Applications of Satisfiability Testing--SAT 2007, 215--229, Springer
On the stochastic constraint satisfaction framework
Lucas Bordeaux, Horst Samulowitz
Proceedings of the 2007 ACM symposium on Applied computing, pp. 316--320
Lucas Bordeaux, Horst Samulowitz
Proceedings of the 2007 ACM symposium on Applied computing, pp. 316--320
Learning to solve QBF
Horst Samulowitz, Roland Memisevic
Proceedings of the national conference on artificial intelligence, pp. 255, 2007
Horst Samulowitz, Roland Memisevic
Proceedings of the national conference on artificial intelligence, pp. 255, 2007
2006
Preprocessing qbf
Horst Samulowitz, Jessica Davies, Fahiem Bacchus
Principles and Practice of Constraint Programming-CP 2006, 514--529, Springer
Horst Samulowitz, Jessica Davies, Fahiem Bacchus
Principles and Practice of Constraint Programming-CP 2006, 514--529, Springer
Binary clause reasoning in QBF
Horst Samulowitz, Fahiem Bacchus
Theory and Applications of Satisfiability Testing-SAT 2006, 353--367, Springer
Horst Samulowitz, Fahiem Bacchus
Theory and Applications of Satisfiability Testing-SAT 2006, 353--367, Springer
2005
Using sat in qbf
Horst Samulowitz, Fahiem Bacchus
Principles and Practice of Constraint Programming-CP 2005, 578--592, Springer
Horst Samulowitz, Fahiem Bacchus
Principles and Practice of Constraint Programming-CP 2005, 578--592, Springer
2000
Visualization of eclipses and planetary conjunction events. the interplay between model coherence, scaling and animation
Oberschelp, Walter and Hornung, Alexander and Samulowitz, Horst
Computer Graphics International, 2000. Proceedings, pp. 81--86
Abstract
Oberschelp, Walter and Hornung, Alexander and Samulowitz, Horst
Computer Graphics International, 2000. Proceedings, pp. 81--86
Abstract
Year Unknown
Towards a Lightweight Standard Search
Samulowitz, Horst and Tack, Guido and Fischer, Julien and Wallace, Mark and Stuckey, Peter
arachne.it.uu.se, 0
Abstract
Samulowitz, Horst and Tack, Guido and Fischer, Julien and Wallace, Mark and Stuckey, Peter
arachne.it.uu.se, 0
Abstract
QBF Preprocessor Prequel, 2006
H Samulowitz, Jessica Davies, F Bacchus
H Samulowitz, J Davies, F Bacchus, 0
H Samulowitz, Jessica Davies, F Bacchus
H Samulowitz, J Davies, F Bacchus, 0