Lecture 7: Dual Simplex