@phdthesis{Lindauer2015,
  author      = {T. Marius Lindauer},
  title       = {Algorithm selection, scheduling and configuration of Boolean constraint solvers},
  type        = {doctoralthesis},
  pages       = {ii, 130},
  school      = {Universit{\"a}t Potsdam},
  year        = {2015},
}