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

id	I21-R190-123456789-3322
record_format	ojs
spelling	I21-R190-123456789-33222024-08-08T13:43:37Z Heurísticas para la Demostración Automática basado en SNR López, David Emmanuel Schiaffino, Silvia Rodríguez, Ricardo Oscar Computación Ingeniería de sistemas Demostración automática de teoremas Heurística 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]. Fil: López, David Emmanuel. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas; Argentina. Fil: Schiaffino, Silvia. Universidad Nacional del Centro de la Provincia de Buenos Aires, Facultad de Ciencias Exactas; Argentina. Fil: Rodríguez, Ricardo Oscar. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas; Argentina. 2022-11 2023-03-17T16:02:23Z 2023-03-17T16:02:23Z info:eu-repo/semantics/bachelorThesis info:eu-repo/semantics/acceptedVersion info:ar-repo/semantics/tesis de grado 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. https://www.ridaa.unicen.edu.ar/handle/123456789/3322 spa http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ info:eu-repo/semantics/openAccess application/pdf application/pdf Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas
institution	Universidad Nacional del Centro
institution_str	I-21
repository_str	R-190
container_title_str	Repositorio Institucional de Acceso Abierto (RIDAA)
language	Español
format	Artículo revista
topic	Computación Ingeniería de sistemas Demostración automática de teoremas Heurística
spellingShingle	Computación Ingeniería de sistemas Demostración automática de teoremas Heurística López, David Emmanuel Heurísticas para la Demostración Automática basado en SNR
topic_facet	Computación Ingeniería de sistemas Demostración automática de teoremas Heurística
author	López, David Emmanuel
author_facet	López, David Emmanuel
author_sort	López, David Emmanuel
title	Heurísticas para la Demostración Automática basado en SNR
title_short	Heurísticas para la Demostración Automática basado en SNR
title_full	Heurísticas para la Demostración Automática basado en SNR
title_fullStr	Heurísticas para la Demostración Automática basado en SNR
title_full_unstemmed	Heurísticas para la Demostración Automática basado en SNR
title_sort	heurísticas para la demostración automática basado en snr
description	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].
publisher	Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas
publishDate	2022
url	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.
work_keys_str_mv	AT lopezdavidemmanuel heuristicasparalademostracionautomaticabasadoensnr
first_indexed	2024-08-12T22:52:33Z
last_indexed	2024-09-04T03:29:09Z
_version_	1809234577867145216

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

Ejemplares similares