Cover Image

Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Guillermo de Ita Luna
Format:	Artículo científico
Language:	es
Published:	Instituto Politécnico Nacional 1999
Subjects:	Computación
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algoritmo basado en modelos para la revisión de creencias entre formas normales conjuntivas
by: Guillermo De Ita Luna
Published: (2017)

Finding Pure Nash Equilibrium for the Resource-Constrained Project Scheduling Problem
by: Guillermo De Ita Luna
Published: (2015)

El Proceso de Modelado de la Ingeniería del Conocimiento como Método de Optimización en la Resolución de Problemas
by: Claudia Jiménez Ramírez
Published: (2006)

Reseña de "Foundations of Inductive Logic Programming" de S.H.N Cheng, R. de Wolf
by: Guillermo Morales Luna
Published: (1998)

Computación y cibernética. / Guillermo Morales Luna
by: Morales Luna, Guillermo
Published: (1999)

El pensamiento natural y las limitaciones formales. / Guillermo Morales Luna
by: Morales Luna, Guillermo
Published: (2002)

Una Técnica para la Localización de Ojos Humanos en una Imagen Bidimensional
by: Bruce Leroy Luna Esteban
Published: (2005)

Modelo para Problemas de Cooperación en Proyectos de Desarrollo con Alto Riesgo
by: Rodolfo Espín
Published: (1999)

Propuesta de funcionalidades para la implementación de una herramienta de reconstrucción de huellas dactilares
by: Leandro Fortún Luna
Published: (2011)

Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos
by: Carlos Daniel Luna
Published: (2004)

Aplicación de los Algoritmos Genéticos a la Solución del Problema de Decisión Multicriterio Individual y en Grupo
by: Juan Carlos Leyva López
Published: (2000)

Propuesta de modelo pedagógico para maestría de gestión de proyectos informáticos
by: Pedro Yobanis Piñero Pérez
Published: (2008)

Propuesta metodológica para la orientación de aplicaciones informáticas hacia BPM y SOA
by:
Published: (2016)

Una Metodología de Distribución de Procesos en Problemas de Simulación
by: Luis F. Iribarne
Published: (1999)

Resolución de la ambigedad léxica mediante aprendizaje por cuantificación Vectorial
by: Manuel García Vega
Published: (2007)

Un Método para Resolver Problemas de Decisión a Partir de Una Modelación Flexible de Preferencias Basada en Lógica Borrosa
by: Juan Carlos Leyva López
Published: (2002)

Formulación y Análisis del Problema de Planificación Física en Redes Heterogéneas de Distribución
by: Fernando López Irarragorri
Published: (1998)

Propuesta de una Plataforma para la Difusión de la Robótica Móvil: E-SMART
by: Jovani Alberto Jiménez Builes
Published: (2008)

Sostenibilidad del software: más allá de Green IT
by: Guillermo Montoya
Published: (2010)

Implementación de una topología de red de dispositivos Bluetooth capaz de acceder a Internet a través de una Red LAN
by: Juan Guillermo Torres Hurtado
Published: (2006)

Propuesta de técnicas evolutivas para la confección automática de tribunales de trabajos de diploma
by: Pavel Novoa Hernández
Published: (2013)

Resolución de Correferencia de Nombres de Persona para Extracción de Información Biográfica
by: Marcos Garcia
Published: (2011)

Componente genérico para la planificación y ejecución de acciones en aplicaciones de software
by: Guillermo Luzua Farias
Published: (2013)

Propuesta de un plan de capacitación para la preparación y futura certificación en PostgreSQL
by: Yudisney Vazquez Ortíz
Published: (2011)

Propuestas para el análisis geoespacial en estudios salubristas
by: Yadian Guillermo Pérez Betancourt
Published: (2018)

Implementación de un Dispositivo para la Gestión de los Recursos del Ancho de Banda
by: Edisson Alexander Machado Giraldo
Published: (2006)

CALMANT: Un Método Sistemático para la Ejecución de Algoritmos Hipercubo en Sistemas Multiprocesador
by: Luis Díaz de Cerio
Published: (2001)

Recuperación de Información con Resolución de Ambigüedad de Sentidos de Palabras para el Español
by: Yoel Ledo Mezquita
Published: (2008)

Sistema para la gestión de contabilidad y de configuración de servicios de red a los usuarios
by: A. A. Garófalo
Published: (2006)

Una Propuesta para la Asistencia al Proceso de Interpretación de Textos utilizando Técnicas de Procesamiento del Lenguaje Natural e Ingeniería de Software
by: Aldrin Fredy Jaramillo
Published: (2007)

Principales actividades de IFIP previstas para los próximos años
by: Ramón Puigjaner Trepat
Published: (2011)

Breve revisión sobre Resolución de Restricciones Geométricas
by: Angel Alberto Vazquez-Sánchez
Published: (2021)

Algoritmo evolutivo para hardware evolucionable
by: Celso de la Cruz
Published: (2009)

Una Propuesta para el Etiquetado Automático de Roles Semánticos
by: Isabel Segura Bedmar
Published: (2006)

MLRul: un algoritmo para la generación de reglas borrosas para la clasificación
by: P. Y. Piñero
Published: (2006)

Métricas para la Evaluación de la Complejidad de Bases de Datos Relacionales
by: Coral Calero
Published: (2000)

Retos en la gestión de los riesgos de proyectos de software
by: Yeleny Zulueta Véliz
Published: (2008)

Herramientas para la Estrilcturación Conceptual de Espacios
by: José Francisco Martínez
Published: (2001)

Resolución de la Ambigüedad Semántica de las palabras mediante Modelos de Probabilidad de Máxima Entropía
by: Armando Suárez Cueto
Published: (2005)

Análisis de Dos Métodos de Estimación para Sistemas Lineales Estacionarios e Invariantes en el Tiempo con Perturbaciones Correlacionales con el Estado Observable del Tipo: Una Entrada una Salida
by: José de Jesús Medel Juárez
Published: (2002)