Método Cutting Planes

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un método de prueba y refutación que opera sobre desigualdades lineales que representan restricciones enteras 0–1: se derivan nuevas desigualdades lineales válidas mediante combinaciones lineales y se aplican reglas de redondeo entero (cortes) para eliminar soluciones fraccionarias y acabar derivando una contradicción explícita (p.