@PhdThesis{Janota10,
  author =       { Mikol{\'a}\v{s} Janota },
  title =        { {SAT} Solving in Interactive Configuration },
  school =       { University College Dublin },
  year =         2010,
  month =        nov
}