A Linear Programming Method for Finding Orthocomplements in Finite Lattices
arXiv:math/0611455
Abstract
A method of embedding partially ordered sets into linear spaces is presented. The problem of finding all orthocomplementations in a finite lattice is reduced to a linear programming problem.
4 pages, LaTex