@InProceedings{MishchenkoJun17,
  author =    {Alan Mishchenko and Robert K. Brayton and Ana Petkovska
                and Mathias Soeken},
  title =     {{SAT}-Based Optimization with Don't-Cares Revisited},
  booktitle = {Proceedings of the 26th International Workshop on Logic
                and Synthesis},
  month     = jun,
  year =      2017,
  address =   {Austin, Tex.},
}