A Linear Programming Method for Finding Orthocomplements in Finite   Lattices
  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. 
George Parfionov, Roman Zapatrin