De Ita Luna, GuillermoDE ITA LUNA, GUILLERMO; 57559López Ramírez, Cristina2021-03-092023-01-112021-03-092023-01-112021-01https://ecosistema.buap.mx/ecoBUAP/handle/ecobuap/402"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."pdfspaINGENIERÍA Y TECNOLOGÍAComplejidad computacionalMáquinas de TuringAlgoritmos computacionalesEstructura de datos (Computación)Inteligencia artificialTesis de doctoradoopenAccess