Generation of Oriented Matroids Using Satisfiability Solvers
From MaRDI portal
Publication:5747814
DOI10.1007/11832225_19zbMath1230.52029OpenAlexW1545590359MaRDI QIDQ5747814
Publication date: 14 September 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11832225_19
Symbolic computation and algebraic computation (68W30) Matroids in convex geometry (realizations in the context of convex polytopes, convexity in combinatorial structures, etc.) (52B40)
Related Items
On the number of simple arrangements of five double pseudolines ⋮ Finding Lean Induced Cycles in Binary Hypercubes
Uses Software
