Research Interests Publications Software Links CV / Resume Awards Contact Information



 
Horst Samulowitz

I was a Ph.D. student in the knowledge representation group, in the Department of Computer Science, at the University of Toronto. I was working under the guidance of Fahiem Bacchus, on Quantified Boolean Formulas (QBF).

I finished my PhD. in the summer of 2007.

Currently, I am a Post-Doctoral researcher at Microsoft Research, Cambridge, England.

 
 
 

Research Interests

 
 


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
Software Links
  • 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), (ps) (last updated January 2007)

  • 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:
       Pratt Building, 6 King's College Road, University of Toronto
    Mailing Adress:
       University of Toronto, Dept. of Computer Science, Pratt Building, Room 283, 6 King's College Road, Toronto, ON M5S 3H5, CANADA
    E-mail address:
       horst[at]cs[dot]toronto[dot]edu
     
    Links
    DCS Webmail access
    AppGate MindTerm DCS