@PhdThesis{Petkovska17phd,
  author  =  {Ana Petkovska},
  title   =  {Exploiting Satisfiability Solvers for Efficient Logic Synthesis},
  school  =  {\'Ecole Polytechnique F\'ed\'erale de Lausanne},
  address =  {Lausanne, Switzerland},
  type    =  {{Ph.D.} Thesis no. 7866},
  year    =  {2017},
}