Algoritmos para SAT basados en la representación de tablas booleanas
Rellene el siguiente formulario para solicitar una copia del documento al autor del mismo