Satisfiability problems in discrete geometry

MaRDI QIDQ3433805zbMATH OpenFDO

Authors Lars Schewe

Publication date 2 May 2007

zbMATH Keywords

geometric configurationoriented matroidpolyhedral triangulationSAT solversatisfiability

Mathematics Subject Classification ID

Other finite incidence structures (geometric aspects) (51E30) Polyhedral manifolds (52B70) Planar arrangements of lines and pseudolines (aspects of discrete geometry) (52C30) Oriented matroids in discrete geometry (52C40)

Recommendations

• Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers
• On the generation of oriented matroids
• Configurations of points and lines
• On the upper embedding of symmetric configurations with block size 3
• Enumerating topological (n_k)-configurations

Cited in

(10)

• Symmetric matroid polytopes and their generation
• Topological configurations (n₄) exist for all n 17
• Isomorphism-free lexicographic enumeration of triangulated surfaces and 3-manifolds
• On the generation of oriented matroids
• Enumerating neighborly polytopes and oriented matroids
• Enumerating topological (n_k)-configurations
• Edge-graph diameter bounds for convex polytopes with few facets
• A face of a projective triangulation removed for its geometric realizability
• Matroid enumeration for incidence geometry
• Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers

This page was built for publication: Satisfiability problems in discrete geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3433805)