Oración 1: note que, si tenemos que la suma es mayor o igual a 1, podemos afirmar que la cláusula se satisface, y si esto pasa para cada desigualdad, es decir, cada cláusula, la fórmula se va a satis- facer
Oración 2: podemos escribir cualquier fórmula de 3SAT como una instancia de ILP, donde, si ILP decide que se cumplen todas las desigualdades para un vector z ∈ Zn, se puede concluir que una fórmula de 3SAT con n variables booleanas se satisface y viceversa
Conector: por lo tanto,
Relación: reasoning
Género: theses