Complete linear proofs of systems of linear inequalities

• 1 June 1972
• journal article
• Published by Elsevier in Journal of Computer and System Sciences
• Vol. 6  (3) , 205-216
• https://doi.org/10.1016/s0022-0000(72)80002-3

Abstract

Keywords

• FUNCTIONS
• DIFFICULTY
• EXTREME
• MAXIMAL
• SUBSPACE
• PROOFS
• RABIN
• LINEAR FORMS
• EXCEEDED