| | Horst Samulowitz
Researcher, NICTA, Constraint Programming Platform, Melbourne, Australia (2009 - present)
Honorary Research Fellow, University of Melbourne, Computer Science and Software Engineering, Melbourne, Australia (2009 - present)
Previous Research Positions
Post-Doctoral Researcher, Microsoft Research, Constraint Reasoning and Machine Learning Group, Cambridge, England (2007-2009)
Education
Ph.D. Computer Science , University of Toronto, Toronto, Canada (2003-2007)
M.Sc. Computer Science (Minor: Neurobiology), University of Technology (RWTH), Aachen, Germany (1997-2003)
|  | | | | |  | | |
| |
Topics related to Knowledge Representation and Constraint Satisfaction.
My research is aimed at improving automated intelligent decision making in real world applications. To that end, I have developed novel and efficient solvers for general problem representation languages. So far much of my work has focused on solvers for problems expressed as Quantified Boolean Formulas (QBF), in which many types of problems like planning and verification are easily expressed. I have a passion for integrating techniques from other research areas such as Machine Learning. This has enabled me not only to develop truly novel approaches producing state of the art results, but also to engage in exciting cross-disciplinary collaborations; I am eager to continue along these lines. Lastly, my interests also extend to other kinds of reasoning and inference problems such as optimization and probabilistic reasoning.
| Publications | | | | | |
- Experiments with Massively Parallel Constraint Solving (pdf paper)
Lucas Bordeaux, Youssef Hamadi, and Horst Samulowitz
Published in International Joint Conference on Artificial Intelligence (IJCAI), 2009.
- Learning Adaptation to Solve Constraint Satisfaction Problems (pdf paper)
Yuheua Xu, David Stern, and Horst Samulowitz
Published in Learning and Intelligent OptimizatioN (LION), 2009.
- Learning to Solve QBF (pdf paper)
Horst Samulowitz and Roland Memisevic
To appear in AAAI 2007 (Twenty-Second Conference on Artificial Intelligence), 2007.
- Solution Backjumping for #SAT (short paper)
Jessica Davies and Eric Hsu and Horst Samulowitz
To appear in NESCAI 2007 (North East Student Colloquium on Artificial Intelligence), 2007
- Dynamically Partitioning for Solving QBF (pdf paper)
Horst Samulowitz and Fahiem Bacchus
To appear in 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)
- The Efficiency and Implementation of an Evaluation-Based Reasoning Procedure with Disjunctive Information in First-Order Knowledge Bases (Master Thesis)
Horst Samulowitz
Master Thesis, RWTH Aachen , 2003.
- 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.
| | Software Links | | | | | |
- Contributing to the G12 - Constraint Reasoning Platform
- Contributed to the Microsoft Solver Foundation
- A simple QBF solver called MiniQBF (based on MiniSAT ) is available here
- Software of the QBF solver SQBF (3rd Place QBF Competition 2006).
- Software of the QBF solver 2clsQ (1st Place QBF Competition 2006).
- Software of the Preprocessor Prequel for QBFs.
All Software is available here .
- Also see the results of the first QBF competition 2006
- Here is a very simple script that can be used to run first the preprocessor PreQuel, second time-limited Quantor, and third 2clsQ as a batch job.
| |
| CV / Resume | | |
CV (pdf version) (last updated January 2010)
Resume (pdf) (last updated January 2007)
| | | Awards | | | | | | - Winner of the QBF Competition 2006 (Official Competition Homepage)
1st, 2nd and 3rd place on industrial benchmarks
2nd place on random benchmarks
| | | | | | | Contact Information | | Office Location:
| ICT Building, 111 Barry Street (Level 5), University of Melbourne
| Mailing Adress:
| University of Melbourne, ICT, 111 Barry Street (Level 4), Carlton, Victoria 3053, AUSTRALIA
| E-mail address:
| horst[at]cs[dot]toronto[dot]edu | | | | | | | | Links | | | DCS Webmail access | | AppGate MindTerm DCS | |