03:53 duration 3 minutes 53 seconds
2 - Separating hyperplane theorem - special case
05:45 duration 5 minutes 45 seconds
4 - Chvátal closure
05:52 duration 5 minutes 52 seconds
4 - Integer hull