top of page
Esta página web se diseñó con la plataforma
.com
. Crea tu página web hoy.
Comienza ya
SAT (satisfacilidad)
¿Qué es?
Resolventes
Algoritmo de Davis-Putnam
Contacto
Bibliografia
More
Use tab to navigate through the menu items.
Problema de satisfacibilidad booleana
Carlos Bustamante Alarcón
20141578082
sistematización de datos
Universidad Distrital Francisco José de Caldas
Bogotá -Cundinamarca
14/07/2014
bottom of page