Escalada Imaz, G., y Becerra Correa, N. (2004). Davis y Putman es lineal para Horn-SAT y cuadrĂ¡tico para 2-SAT. Tecnura, 7(14), 57–67. https://doi.org/10.14483/22487638.6192