Horst Samulowitz  Horst Samulowitz photo       

contact information

Research Manager and Research Scientist
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +914dash945dash1639

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

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



2016

Automating Feature Engineering
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

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

Deep Learning for Algorithm Portfolios.
Loreggia, Andrea and Malitsky, Yuri and Samulowitz, Horst and Saraswat, Vijay A
AAAI, pp. 1280--1286, 2016
Abstract


Selecting Near-Optimal Learners via Incremental Data Allocation.
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

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

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


2014

Cognitive automation of data science
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

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

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


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

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

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

CSCH-based Portfolio using CCSat and March
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

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

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

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

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

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


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

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

Parallel Semi-Static Satisfiability Solver Selector (p3S-semistat)
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

Parallel Static Satisfiability Solver Selector (p3S-stat)
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

Augmenting clause learning with implied literals
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

Satisfiability Solver Selector (3S)
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


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

Search combinators
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

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


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

Towards a lightweight standard search language
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


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

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


2008

Solving quantified boolean formulas
Samulowitz, Horst Cornelius
Ph.D. Thesis, 2008
Abstract


2007

Dynamically partitioning for solving QBF
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

Learning to solve QBF
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

Binary clause reasoning in QBF
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


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


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

QBF Preprocessor Prequel, 2006
H Samulowitz, Jessica Davies, F Bacchus
H Samulowitz, J Davies, F Bacchus, 0