Estadísticas del PDF: Tema 3: Algoritmos para SAT

Algoritmos para

SAT

Introducción

Tableros
semánticos
Fórmulas α y β
Tableros completos
Búsqueda de modelos
Formas normales
Consecuencia lógica

Algoritmo de
Davis–Putnam
Estructura del
algoritmo
Ejemplos

Tema 3:

Algoritmos para SAT

Dpto. Ciencias de la Computación Inteligencia Artificial

Universidad de Sevilla

Lógica Informática

(Tecnologías Informáticas)

Curso 2015–16

Contenido

Introducción

Tableros semánticos
Fórmulas α y β
Tableros completos
Búsqueda de modelos
Formas normales
Co...