Oración 1: con las variables, note que zi tiene valores de 0 o 1
Oración 2: las primeras desigualdades que se tienen que cumplir son 0 ≤ zi ≤ 1 Ahora, la idea es construir las cláusulas como desigualdades tal que, si se cumplen todas, como queremos en ILP, se satisface la fórmula 3fnc
Conector: por lo tanto,
Relación: reasoning
Género: theses