@InProceedings{PetkovskaNov16,
  author =    {Ana Petkovska and Alan Mishchenko and Mathias Soeken
               and De Micheli, Giovanni and Robert Brayton and
               Paolo Ienne},
  title =     {Fast Generation of Lexicographic Satisfiable
               Assignments: Enabling Canonicity in {SAT}-based
               Applications},
  booktitle = {Proceedings of the International Conference on
                Computer Aided Design},
  month =     nov,
  year =      2016,
  address =   {Austin, Tex.},
}