Computing Convex Hulls with a Linear Solver

Florence Benoy, Andy King, Fred Mesnard

A programming tactic involving polyhedra is reported that has been widely applied in the polyhedral analysis of (constraint) logic programs. The method enables the computations of…