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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo revista |
| Lenguaje: | Español |
| Publicado: |
Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas
2022
|
| Materias: | |
| 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: |
| Sumario: | 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 experimentado varios cambios y mejoras que serán utilizadas en este trabajo de tesis donde nos proponemos incorporar heurísticas, muchas de ellas inspiradas en el trabajo de Jain, Bartzis y Clarke desarrollado en [JBC06]. |
|---|