Horst Samulowitz

Guiding Combinatorial Optimization with UCT
Ashish Sabharwal, Chandra Reddy and Horst Samulowitz (2012).
To be 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.