Complete Linear Proofs of Systems of Linear Inequalities

Philip M. Spira. Complete Linear Proofs of Systems of Linear Inequalities. In Conference Record 1971 Twelfth Annual Symposium on Switching and Automata Theory, 13-15 October 1971, East Lansing, Michigan, USA. pages 202-206, IEEE, 1971.

Abstract

Abstract is missing.