Heurísticas para la Demostración Automática basado en SNR

El objetivo del presente trabajo es el desarrollo de heurísticas para el mejoramiento de la performance de un método de Demostración Automática de Teoremas. Dicho método consiste en la combinación de otros dos métodos conocidos con los nombres de Secuentes y Resolución No Clausal. El mismo ha experi...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: López, David Emmanuel
Formato: Artículo revista
Lenguaje:Español
Publicado: Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas 2022
Materias:
Computación
Ingeniería de sistemas
Demostración automática de teoremas
Heurística
Acceso en línea:López, D. E. (2022). Heurísticas para la Demostración Automática basado en SNR [Tesis de grado]. Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina.
Aporte de:
Repositorio Institucional de Acceso Abierto (RIDAA) de Universidad Nacional del Centro

Ejemplares similares

Ejemplares similares