@misc{indiciaedf8baf3fe406,
  title = {The complete set of minimal simple graphs that support unsatisfiable 2-CNFs},
  author = {Vaibhav Karve and Anil N. Hirani},
  year = {2019},
  url = {https://arxiv.org/abs/1812.10849},
  note = {Source identifier: 1812.10849}
}