@inproceedings{Kup17,
    author      =   "O. Kupferman",
   title     = {Examining classical graph-theory problems from the viewpoint of formal-verification methods},
  booktitle = stoc17,
  pages     = {6},
  year      = {2017}
  }