SAT: una herramienta didáctica para el problema de la satisfacibilidad

La herramienta ‘SAT’ fue creada como trabajo final de dos materias del segundo año de la carrera de Ingeniería de Sistemas. SAT permite, dada una fórmula de la Lógica Proposicional expresada en forma normal conjuntiva (FNC), decidir si es satisfacible o no. En otras palabras, encontrar una configura...

Descripción completa

Detalles Bibliográficos
Autores principales: Covelli, Tomás, Horquín, Enzo Nicolás, Santillán Cooper, Martín
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2017
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/65402
http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/EST/est-06.pdf
Aporte de:SEDICI (UNLP) de Universidad Nacional de La Plata Ver origen

Ejemplares similares