@phdthesis{Rothenberger2022,
  author      = {Ralf Rothenberger},
  title       = {Satisfiability thresholds for non-uniform random k-SAT},
  type        = {doctoralthesis},
  pages       = {x, 163},
  school      = {Universit{\"a}t Potsdam},
  doi       = {10.25932/publishup-54970},
  year        = {2022},
}