En este repositorio podemos encontrarnos la versión original del algoritmo para 3-SAT que mostramos en el libro 📘 “P vs. NP - En busca del algoritmo "imposible" para 3-SAT: Aplicación de las abstracciones exponenciales al problema 3-SAT” , (Comprar en Google).
Advertencia: En el repositorio se pueden encontrar spaiks y código muerto.