[1]
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 (ene. 2004), 57–67. DOI:https://doi.org/10.14483/22487638.6192.