Es un modelo de programación lineal donde en la solución las variables solo pueden tomar los valores de cero o uno.