@misc{indiciaeaaeff743cbfc,
  title = {Non-Realizable Minimal Vertex Triangulations of Surfaces: Showing Non-Realizability using Oriented Matroids and Satisfiability Solvers},
  author = {Lars Schewe},
  year = {2008},
  url = {https://arxiv.org/abs/0801.2582},
  note = {Source identifier: 0801.2582}
}