Simplex has its own page
Shortest Path
Cutting Plane
Finding a Cutting Plane
- Find a constraint with fractional RHS and floor everything.
- Verify that, given a solution to the LP $a$
- $a$ does not satisfy the new LP
- Every solution of the IP satisfies the new LP