Estadísticas del PDF: Tema 5: Aplicaciones de los algoritmos para SAT

Algoritmos para

SAT

Ejemplos de
Aplicación
Prover9 y Mace4
El problema de los
mentirosos
El problema de los
rectángulos
El problema de las 4
reinas
Sudoku

Tema 5:

Aplicaciones de los 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

Ejemplos de Aplicación

Prover9 y Mace4
El problema de los mentirosos
El problema de los rectángulos
El problema de las 4 reinas
Sudoku

...