Formal optimization of some reduced linear programming problems

Abstract
No abstract available