Nonrealizable Minimal Vertex Triangulations of Surfaces: Showing Nonrealizability Using Oriented Matroids and Satisfiability Solvers

Lars Schewe. Nonrealizable Minimal Vertex Triangulations of Surfaces: Showing Nonrealizability Using Oriented Matroids and Satisfiability Solvers. Discrete & Computational Geometry, 43(2):289-302, 2010. [doi]

Abstract

Abstract is missing.