Heurísticas para el problema de la satisfacibilidad booleana

Heurísticas para el problema de la satisfacibilidad booleana

Detalles Bibliográficos
Autor principal:	Cachoa Ocampo, Gabriel
Otras Contribuciones:	López Soto, Claudia Orquídea (Asesor)
Formato:	Tesis de maestría
Lenguaje:	Español
Publicado:	2022
Materias:	Ciencias Físico-Matemáticas e Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000833253 http://132.248.9.195/ptd2022/noviembre/0833253/Index.html

Ejemplares similares

Simplificacion de ecuaciones booleanas por computadora
por: Alvarez Ojinaga, Benito
Publicado: (1987)

Funciones booleanas a partir de ADN
por: Hernández Urbina, José Víctor
Publicado: (2008)

Problema de la manta rectangular : implementación de heurísticas y metaheurísticas
por: Rojas Vigueras, Julio César
Publicado: (2022)

Análisis de la derivada de Cantor-Bendixson para marcos y el problema de la reflexión booleana
por: Avilez García, Ana Belén
Publicado: (2018)

Aplicacion de algebra Booleana a circuitos de conmutacion
por: Merodio Martin, Leandro
Publicado: (1965)

Sobre un teorema de representaciones de algebras Booleanas
por: Figueroa Campos, Silvia
Publicado: (1970)

Descomposición de perturbaciones en redes booleanas con umbrales
por: García Alcalá, Mayra Patricia
Publicado: (2016)

Algebras de Lindenbaum : una introduccion booleana a la logica
por: Hernandez Cruz, Cesar
Publicado: (2006)

Heurística : Diseño de una ortoprótesis flexible
por: Gómez Monroy, Carlos Gilberto
Publicado: (2013)

Fundamentos de programacion heuristica y aplicaciones
por: Delgado Ortega, Fernando
Publicado: (1987)

Álgebras booleanas, teorema de Stone y axioma de Martín
por: Valencia Vizcaíno, Pedro Francisco
Publicado: (2008)

Heuristica para colorear los vertices de una grafica
por: Campos Nanez, Enrique
Publicado: (1989)

Diseño de una heurística para resolver un problema de secuenciación en la industria de automóviles
por: Ruvalcaba López, Alejandra Angélica
Publicado: (2013)

Implementación de heurísticas para el problema de empaquetamiento de n esferas idénticas en un contenedor esférico
por: Ochoa Chávez, Ana Karen
Publicado: (2021)

Fundamentos de las computadoras digitales, segunda parte : sistemas numericos, codigos, algebra booleana
por: Ramirez Oropesa, Rafael Manuel
Publicado: (1969)

Caracterización de las técnicas heurísticas para la planeación utilizadas para el análisis de problemas en la fase de diagnóstico
por: Huesca Guevara, María del Carmen
Publicado: (2011)

Aplicación de la heurística de composición musical en la solución del problema de alineamiento múltiple de secuencias
por: Franco Nava, Julio César
Publicado: (2013)

Implementación de una heurística inspirada en sistemas de hormigas, con simulación basada en agentes para problemas de ruteo vehicular capacitado
por: Aguilar Guadalajara, Salvador
Publicado: (2015)

Una implementación de la heurística Colonia de Abejas Artificiales a una instancia del problema de la 3-partición : Tetris
por: Rodríguez Abreu, José Ricardo
Publicado: (2019)

Determinación del tamaño muestral óptimo basado en entropía y optimización heurística
por: Alfaro Pérez, Juan Carlos
Publicado: (2016)

Optimización heurística de un fermentador productor de hidrógeno modificando la carga orgánica
por: Villa Leyva, Alberto
Publicado: (2015)

Cómputo distribuido con heurísticas adaptativas, análisis de la convergengia del protocolo BGP
por: Cardelas Gómez, Gerardo
Publicado: (2016)

Tecnicas heuristicas : un enfoque alterno en el diseño de una guia para seleccionar AFORE
por: Guzman Bautista, Ivan Martin
Publicado: (2000)

Grietas de Hausdorff y dónde encontrarlas
por: Cachoa Ocampo, Gabriel
Publicado: (2019)

Dinámica de la diferenciación de células TH : modelación con redes booleanas
por: Martínez Sánchez, Mariana Esther
Publicado: (2011)

Suma sistemica : claves heuristicas para el rediseño conceptual de la ingenieria de sistemas en escenarios de crisis
por: Mora Espinosa, Miguel Angel
Publicado: (2003)

Análisis de microarreglos de DNA utilizanmdo redes booleanas (RBN) y redes de probabilidad de Bayes mediante un programa desarrollado en C
por: Revuelta Meza, José Francisco
Publicado: (2012)

Herramienta heurística aplicada a la resolución de problemas en el contexto del modelo de competencias
por: Casales Rodríguez, Christhian Ulices
Publicado: (2015)

Función heurística en psicoterapia : el caso del temaskalli
por: Fajardo Gómez, Belinda
Publicado: (2017)

La computadora como un instrumento para apoyar al nino en el desarrollo de estrategias heuristicas para solucionar problemas
por: Martinez Falcon, Norma Patricia
Publicado: (1988)

Estrategias heurísticas aplicadas a la didáctica de la lógica proposicional
por: Solís Ramos, Omar
Publicado: (2022)

Heurística interpretativa de los preludios OP. 11 de Alexander Scriabin
por: Jiménez Ríos, Dalia Guadalupe
Publicado: (2022)

Análisis comparativo de los modelos de red booleana de la regulación del ciclo celular en eucariontes
por: Castillo Jiménez, Aarón
Publicado: (2015)

El estudio de la visualidad en el dibujo : propuesta desde una matriz heurística
por: Koleff Osorio, Sergio
Publicado: (2022)

De la racionalidad ecológica al razonamiento situado : las heurísticas como cognición distribuida
por: Fonseca Patrón, Ana Laura
Publicado: (2014)

Heurísticas y racionalidad económica acotada : hacia una concepción pluralista del agente racional
por: Hernandez Cervantes, Josafat Ivan
Publicado: (2012)

Heurística y modelos de la racionalidad. Un caso de estudio : el proyecto del Grupo ABC
por: Fonseca Patrón, Ana Laura
Publicado: (2008)

El análisis DAFO como técnica heurística participativa en la fase de diagnóstico de la planeación estratégica en el Estado de Michoacán : estudio de caso
por: Rivera Cuevas, Quetzalli
Publicado: (2009)

Relaciones entre lógica y heurística : un análisis filosófico de sus alcances y limitaciones
por: González Fernández, Karen
Publicado: (2019)

Racionalidad acotada, heurísticas y hábitos : implicaciones de diferentes caracterizaciones del razonamiento heurístico para la formulación de políticas públicas
por: Hernández Cervantes, Josafat Iván
Publicado: (2019)