Actualizado el 11 de Abril del 2020 (Publicado el 6 de Agosto del 2017)
673 visualizaciones desde el 6 de Agosto del 2017
296,2 KB
49 paginas
Creado hace 8a (12/09/2015)
PD Tema 6: Algoritmos para SAT. Aplicaciones
Lógica informática (2015–16)
Tema 6: Algoritmos para SAT. Aplicaciones
José A. Alonso Jiménez
Andrés Cordón Franco
María J. Hidalgo Doblado
Grupo de Lógica Computacional
Departamento de Ciencias de la Computación e I.A.
Universidad de Sevilla
1 / 49
PD Tema 6: Algoritmos para SAT. Aplicaciones
Tema 6: Algoritmos para SAT. Aplicaciones
1. Algoritmos para SAT
2. Aplicaciones
2 / 49
PD Tema 6: Algoritmos para SAT. Aplicaciones
Algoritmos ...
27 visualizaciones durante los últimos 90 días