Horst Samulowitz

Automating Feature Engineering
Udayan Khurana, Fatemeh Nargesian, Horst Samulowitz, Elias Khalil, Deepak Turaga (2016)
AI for Data Science Workshop at NIPS, 2016.

Cognito: Automated Feature Engineering for Supervised Learning
Udayan Khurana, Horst Samulowitz, Deepak Turaga, Srinivasan Parthasrathy (2016)
IEEE International Conference on Data Mining (ICDM), 2016.

Image Inpainting through Neural Networks Hallucinations
Alhussein Fawzi, Horst Samulowitz, Deepak Turaga, Pascal Frossard (2016) [ pdf ]
12th IEEE IVMSP Workshop, 2016.

Adaptive Data Augmentation for Image Classification [ pdf ]
Alhussein Fawzi, Horst Samulowitz, Deepak Turaga, Pascal Frossard (2016)
International Conference on Image Processing (ICIP), 2016.

Deep Learning for Algorithm Portfolios [ pdf ]
Andrea Lorreggia, Horst Samulowitz, Yuri Malitsky, Vijay Saraswat (2016)
30th AAAI Conference on Artificial Intelligence, 2016.

Selecting Near-Optimal Learners via Incremental Data Allocation [ pdf ]
Ashish Sabharwal, Horst Samulowitz, Gerry Tesauro (2016)
30th AAAI Conference on Artificial Intelligence, 2016.

Model-based Genetic Algorithms for Algorithm Configuration [ pdf ]
Carlos Ansotegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney(2015)
IJCAI, 2015.

Towards Cognitive Automation of Data Science [ pdf ]
Alain Biem, Maria A. Butrico, Mark D. Feblowitz, Tim Klinger, Yuri Malitsky, Kenney Ng, Adam Perer, Chandra Reddy, Anton V. Riabov, Horst Samulowitz, Daby Sow, Gerald Tesauro, Deepak Turaga (2015)
AAAI-Demonstrations Track, 2015.

Cognitive Automation of Data Science [ pdf ] [ Poster pdf]
Horst Samulowitz, Ashish Sabharwal, Chandra Reddy (2014)
ICML AutoML Workshop 2014, 2014.

Insights into Parallelism with Intensive Knowledge Sharing [ pdf ]
Ashish Sabharwal and Horst Samulowitz (2014)
Constraint Programming (CP 2014), to appear.

Parallel Combinatorial Optimization with Decision Diagrams [ pdf ]
David Bergman, Andre Cire, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat, Willem-Jan van Hoeve (2014)
CPAIOR-2014. 11th International Conference on Integration of AI and OR Techniques in Constraint Programming, Cork, Ireland, May 2014.

Resolution and Parallelizability:
Barriers to the Efficient Parallelization of SAT Solvers [ pdf]
George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon (2013)
Published in 27th AAAI Conference on Artificial Intelligence, AAAI

Automated Design of Search with Composability [ pdf ]
Horst Samulowitz, Ashish Sabharwal, Tom Schrijvers, Guido Tack, Peter Stuckey (2013)
Late Breaking Abstract at 27th AAAI Conference on Artificial Intelligence, AAAI

Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering [ pdf]
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, and Meinolf Sellmann (2013)
23rd International Joint Conference on Artificial Intelligence, Beijing, China, IJCAI

Snappy: A Simple Algorithm Portfolio (Tool-Paper) [ pdf ]
Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann (2013)
To be published in 16th International Conference on Theory and Applications of Satisfiability Testing, SAT

An Introduction to Search Combinators
Tom Schrijvers, Pieter Wuille, Horst Samulowitz, Guido Tack, Peter Stuckey (2013)
Invited to Post-Proceedings of 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR2012)

Stronger Inference Through Implied Literals From Conflicts and Knapsack Covers
Tobias Achterberg, Ashish Sabharwal, and Horst Samulowitz (2013).
To be published in Proceedings of the 10th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2013)

Search Combinators [ pre-print pdf] [slides]
Tom Schrijvers, Pieter Wuille, Horst Samulowitz, Guido Tack, Peter Stuckey (2013)
To be published in Constraints Journal

Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction [pdf]
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann (2013).
To be published at Learning and Intelligent OptimizatioN Conference (LION 2013)

Parallel SAT Solver Selection and Scheduling
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann (2012).
To be published at Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012)

SatX10: A Scalable Plug&Play Parallel SAT Framework (Tool)
Bard Bloom, David Grove, Benjamin Herta, Vijay Saraswat, Ashish Sabharwal, and Horst Samulowitz (2012).
Published at Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)

Learning Back-Clauses in SAT (Poster)
Ashish Sabharwal, Horst Samulowitz, and Meinolf Sellmann (2012).
Published at Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)

Augmenting Clause Learning with Implied Literals (Poster)
Arie Matsliah, Ashish Sabharwal, and Horst Samulowitz (2012).
Published at Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)

Guiding Combinatorial Optimization with UCT [ PDF ] [ Presentation ]
Ashish Sabharwal, Chandra Reddy and Horst Samulowitz (2012).
Published at Proceedings of the 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2012)

Search Combinators for MiniZinc
Tom Schrijvers, Pieter Wuille, Horst Samulowitz, Guido Tack, Peter Stuckey (2011).
Published at the Minizinc Workshop at the Seventeenth International Conference on Principles and Practice of Constraint Programming (CP 2011)

Algorithm Selection and Scheduling [pdf] [slides]
Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann (2011).
Published at Seventeenth International Conference on Principles and Practice of Constraint Programming (CP 2011)

Search Combinators [pdf] [slides]
Tom Schrijvers, Pieter Wuille, Horst Samulowitz, Guido Tack, Peter Stuckey (2011).
Published at Seventeenth International Conference on Principles and Practice of Constraint Programming (CP 2011)

Guiding Combinatorial Optimization with UCT [pdf] [slides]
Ashish Sabharwal and Horst Samulowitz (2011).
Appeared at ICAPS Monte Carlo Tree Search Workshop (MCTS 2011)

Memoizing a Monadic Mixin DSL
Tom Schrijvers, Pieter Wuille, Horst Samulowitz, Guido Tack, Peter Stuckey (2011).
Published at Twentieth International Workshop on Functional and (Constraint) Logic Programming (WFLP2011)

Non-Model-Based Algorithm Portfolios for SAT [pdf] [Poster pdf]
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann (2011).
Published at 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011) (Extended Abstract)

Search Combinators [pdf] [Slides pdf]
Tom Schrijvers, Pieter Wuille, Horst Samulowitz, Guido Tack, Peter Stuckey (2011).
Appeared at Eighth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) (CPAIOR2011) (Breaking Abstract)

Towards a Lightweight Standard Search Language
Horst Samulowitz, Guido Tack, Julien Fischer, Peter Stuckey, Mark Wallace (2010). Published at 9th International Workshop on Constraint Modelling and Reformulation (ModRef-10)

Collaborative Expert Portfolio Manager [pdf] [slides]
David Stern, Horst Samulowitz, Luca Pulina, Armando Tacchella, Ralf Herbrich, Thore Graepel (2010).
In Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-10); Atlanta, USA.

Experiments with Massively Parallel Constraint Solving [pdf]
Lucas Bordeaux, Youssef Hamadi, and Horst Samulowitz
Published in Twenty-First International Joint Conference on Artificial Intelligence(IJCAI-09)

Learning Adaptation to Solve Constraint Satisfaction Problems [pdf]
Yuheua Xu, David Stern, and Horst Samulowitz
Published in Learning and Intelligent OptimizatioN (LION), 2009.

Learning to Solve QBF [pdf]
Horst Samulowitz and Roland Memisevic
Published at AAAI 2007 (Twenty-Second Conference on Artificial Intelligence), 2007.

Expressions it�r�es en programmation par constraintes. (pdf paper)
Lucas Bordeaux, Youssef Hamadi, Claude-Guy Quimper, and Horst Samulowitz
In Proceedings of Troisi�me Journ�es Francophones de Programmation par Contraintes (JFPC 07), 2007.

Solution Backjumping for #SAT (short paper)
Jessica Davies and Eric Hsu and Horst Samulowitz
Presented at NESCAI 2007 (North East Student Colloquium on Artificial Intelligence) 2007

Dynamically Partitioning for Solving QBF (pdf paper)
Horst Samulowitz and Fahiem Bacchus
Published at SAT 2007 (Tenth International Conference on Theory and Applications of Satisfiability Testing), 2007.

On the Stochastic Constraint Satisfaction Framework (pdf paper)
Lucas Bordeaux and Horst Samulowitz
to be published in SAC 2007 (The 22nd Annual ACM Symposium on Applied Computing) , 2007.

Preprocessing QBF (pdf paper)
Horst Samulowitz and Jessica Davies and Fahiem Bacchus
published in CP 2006 (Twelfth International Conference on Principles and Practice of Constraint Programming), 2006.
(a preliminary version of this paper also appears in NESCAI 2006 (North East Student Colloquium on Artificial Intelligence))

Binary Clause Reasoning in QBF (pdf paper)
Horst Samulowitz and Fahiem Bacchus
published in SAT 2006 (Ninth International Conference on Theory and Applications of Satisfiability Testing), 2006.

Using SAT in QBF (ps paper) (pdf paper)
Horst Samulowitz and Fahiem Bacchus
published in CP 2005 (Eleventh International Conference on Principles and Practice of Constraint Programming), 2005.
(a shorter version of this paper also appears in NESCAI 2006 (North East Student Colloquium on Artificial Intelligence) (pdf paper), 2006)

Visualization of Eclipses and Planetary Conjunction Events: The Interplay between Model Coherence, Scaling and Animation (paper)
Walter Oberschelp and Alexander Hornung and Horst Samulowitz
in the Journal The Visual Computer , 2001.

3D-Visualization of Music
Alexander Hornung and Horst Samulowitz
in German Society for Computer Science (GI), Computer Science Days , 2001.

Visualization of Eclipses and Planetary Conjunction Events: The Interplay between Model Coherence, Scaling and Animation
Walter Oberschelp and Alexander Hornung and Horst Samulowitz
in CGI 2000 (Computer Graphics International), 2000.

Thesis

Solving Quantified Boolean Formulas (2008) [pdf]
Horst Samulowitz
PhD Thesis, University of Toronto. Accepted: 10/2007; Publication Date: 3/2008.

The Efficiency and Implementation of an Evaluation-Based Reasoning Procedure with Disjunctive Information in First-Order Knowledge Bases (2003) [pdf] [ps]
Horst Samulowitz
Master Thesis, RWTH Aachen , 2003.