1 - Certifying infeasibility of a system of linear inequalities

From frank.heney A year ago