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

Autores
López, David Emmanuel
Año de publicación
2022
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión aceptada
Colaborador/a o director/a de tesis
Schiaffino, Silvia
Rodríguez, Ricardo Oscar
Descripción
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.
Materia
Computación
Ingeniería de sistemas
Demostración automática de teoremas
Heurística
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
RIDAA (UNICEN)
Institución
Universidad Nacional del Centro de la Provincia de Buenos Aires
OAI Identificador
oai:ridaa.unicen.edu.ar:123456789/3322
Acceder
id RIDUNICEN_8c7e8eace1e087d168580f517c1313b5
oai_identifier_str oai:ridaa.unicen.edu.ar:123456789/3322
network_acronym_str RIDUNICEN
repository_id_str a
network_name_str RIDAA (UNICEN)
spelling Heurísticas para la Demostración Automática basado en SNRLópez, David EmmanuelComputaciónIngeniería de sistemasDemostración automática de teoremasHeurísticaEl 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.Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias ExactasSchiaffino, SilviaRodríguez, Ricardo Oscar2022-112023-03-17T16:02:23Z2023-03-17T16:02:23Zinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfapplication/pdfLó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/3322spahttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/info:eu-repo/semantics/openAccessreponame:RIDAA (UNICEN)instname:Universidad Nacional del Centro de la Provincia de Buenos Aires2025-09-29T13:41:22Zoai:ridaa.unicen.edu.ar:123456789/3322instacron:UNICENInstitucionalhttps://www.ridaa.unicen.edu.ar/Universidad públicaNo correspondehttps://www.ridaa.unicen.edu.ar/oailleiboff@rec.unicen.edu.ar;gimeroni@rec.unicen.edu.ar;lvarela@rec.unicen.edu.ar ;ArgentinaNo correspondeNo correspondeNo correspondeopendoar:a2025-09-29 13:41:23.122RIDAA (UNICEN) - Universidad Nacional del Centro de la Provincia de Buenos Airesfalse
dc.title.none.fl_str_mv Heurísticas para la Demostración Automática basado en SNR
title Heurísticas para la Demostración Automática basado en SNR
spellingShingle Heurísticas para la Demostración Automática basado en SNR
López, David Emmanuel
Computación
Ingeniería de sistemas
Demostración automática de teoremas
Heurística
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
dc.creator.none.fl_str_mv López, David Emmanuel
author López, David Emmanuel
author_facet López, David Emmanuel
author_role author
dc.contributor.none.fl_str_mv Schiaffino, Silvia
Rodríguez, Ricardo Oscar
dc.subject.none.fl_str_mv Computación
Ingeniería de sistemas
Demostración automática de teoremas
Heurística
topic Computación
Ingeniería de sistemas
Demostración automática de teoremas
Heurística
dc.description.none.fl_txt_mv 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.
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].
publishDate 2022
dc.date.none.fl_str_mv 2022-11
2023-03-17T16:02:23Z
2023-03-17T16:02:23Z
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/acceptedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv 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
identifier_str_mv 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.
url https://www.ridaa.unicen.edu.ar/handle/123456789/3322
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas
publisher.none.fl_str_mv Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas
dc.source.none.fl_str_mv reponame:RIDAA (UNICEN)
instname:Universidad Nacional del Centro de la Provincia de Buenos Aires
reponame_str RIDAA (UNICEN)
collection RIDAA (UNICEN)
instname_str Universidad Nacional del Centro de la Provincia de Buenos Aires
repository.name.fl_str_mv RIDAA (UNICEN) - Universidad Nacional del Centro de la Provincia de Buenos Aires
repository.mail.fl_str_mv lleiboff@rec.unicen.edu.ar;gimeroni@rec.unicen.edu.ar;lvarela@rec.unicen.edu.ar ;
_version_ 1844619030244098048
score 12.559606

Publicaciones similares