juanreutter
commented
3 years ago No me queda claro por que es necesario pasar por x, pero puedo decir esto: Si la fila es p cnf 20 91 es por que son 20 proposiciones, y las lineas de abajo usan {1,...,20} para referirse a ellas, y {-1,...,-20} pa referirse a sus negaciones.
Hola es posible asumir que las proposiciones para un total de n, estarán en el rango {x1,...,xn} o puede pasar que estén en {x0,...,xn-1}