Modelado del 3-coloreo de grafos planares usando satisfactibilidad Incremental

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorDe Ita Luna, Guillermo
dc.contributor.advisorDE ITA LUNA, GUILLERMO; 57559
dc.contributor.authorLópez Ramírez, Cristina
dc.creatorLOPEZ RAMIREZ, CRISTINA; 80296
dc.date.accessioned2021-03-09T20:40:39Z
dc.date.accessioned2023-01-11T22:09:35Z
dc.date.available2021-03-09T20:40:39Z
dc.date.available2023-01-11T22:09:35Z
dc.date.issued2021-01
dc.description.abstract"Uno de los problemas fundamentales en el razonamiento automático es el problema de satisfactibilidad proposicional (SAT), el SAT es un problema de la clase de complejidad NP-Completo. Las aplicaciones de SAT rara vez se limitan a resolver sólo una fórmula de entrada, una aplicación normalmente resolverá una secuencia de fórmulas relacionadas.En esta investigación se propone una estrategia para utilizar estructuras que se formen en la fase 1 de 2-ISAT y que sean usadas durante la fase 2 del problema. Se propone revisar si pueden haber estructuras computacionales que creadas en la primer fase, resuelvan 2-ISAT en tiempo polinomial, o bien, el problema 2-ISAT es de complejidad NP."es_MX
dc.folio20210106222026-7145-Tes_MX
dc.formatpdfes_MX
dc.identificator7es_MX
dc.identifier.urihttps://ecosistema.buap.mx/ecoBUAP/handle/ecobuap/402
dc.language.isospaes_MX
dc.matricula.creator216570428es_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationINGENIERÍA Y TECNOLOGÍAes_MX
dc.subject.lccComplejidad computacionales_MX
dc.subject.lccMáquinas de Turinges_MX
dc.subject.lccAlgoritmos computacionaleses_MX
dc.subject.lccEstructura de datos (Computación)es_MX
dc.subject.lccInteligencia artificiales_MX
dc.thesis.careerDoctorado en Ingeniería del Lenguaje y del Conocimientoes_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias de la Computaciónes_MX
dc.thesis.degreetoobtainDoctor en Ingeniería del Lenguaje y del Conocimientoes_MX
dc.titleModelado del 3-coloreo de grafos planares usando satisfactibilidad Incrementales_MX
dc.typeTesis de doctoradoes_MX
dc.type.conacytdoctoralThesises_MX
dc.type.degreeDoctoradoes_MX
Files
Original bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
20210106222026-7145-T.pdf
Size:
3.75 MB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
20210106222026-7145-CARTA.pdf
Size:
22.42 KB
Format:
Adobe Portable Document Format
Download
Collections
Tesis de Doctorado