08:58duration 8 minutes 58 seconds
1 - Certifying infeasibility of a system of…
1 - Certifying infeasibility of a system of linear inequalities
06:25duration 6 minutes 25 seconds
2 - Polyhedral cones