Home page of Holger H. Hoos

Holger's Home Page

    Damit das Mögliche entsteht,
        muß immer wieder das Unmögliche versucht werden.

                                                          (Hermann Hesse)

Latest news (2012/06/18): SATzilla (our portfolio-based algorithm selector for SAT, joint work with Lin Xu, Frank Hutter, Jonathan Shen and Kevin Leyton-Brown, has lead the field in the 2012 SAT Challenge, placing 1st in 2 of the 3 main tracks, 2nd in the 3rd main track, and 1st in the sequential portfolio track - details can be found here. [News archive]

General Information
- my contact information, affiliations and short bio

Research
- my research interests, projects and publications

Teaching
- my courses (present, past and future)

Students and Collaborators
- current and former students, people I work(ed) with

Miscellanea
- other activities, interests, odds & ends

Follow me on Twitter @HolgerHoos (low frequency feed)

Shortcuts:
> Publications
> Programming by Optimisation (PbO)
> SLS:FA
> CPSC 101 (Spring 2013)

> Coast-to-Coast Tour
> BETA Lab
> UBC/CS