Linear Optimization covers problems with linear inequality constraints, emphasizing formal proofs, the simplex method's theory, duality, and theorems of the alternatives.
Carla Michini taught a challenging course where exams constituted 60–70% of the grade and required deep understanding of proofs without textbook access. Students noted that homeworks were extremely hard, though there were only eight of them.