@InCollection{Petkovska18,
  author =    {Ana Petkovska and Alan Mishchenko and David Novo
                     and Muhsen Owaida and Paolo Ienne},
  title =     {Progressive Generation of Canonical Irredundant Sums of
                     Products Using a {SAT} Solver},
  editor =    {Rolf Drechsler and Andre Reis},
  booktitle = {Advanced Logic Synthesis},
  publisher = {Springer, Cham},
  year =      2018,
}