Méthode Cutting Planes

Une méthode de preuve et de réfutation opérant sur des inégalités linéaires représentant des contraintes entières 0–1 : on dérive de nouvelles inégalités valides par combinaisons linéaires puis on applique des règles d'arrondi entières (coupe) pour éliminer les solutions fractionnaires et aboutir finalement à une contradiction explicite (p.ex.