Facet-defining inequality - In integer programming , an inequality, ax >= b, such that (x in IP: ax >= b) is a facet of the integer polyhedron , IP.
