Buchumschlag

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

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Guillermo de Ita Luna
Format:	Artículo científico
Sprache:	es
Veröffentlicht:	Instituto Politécnico Nacional 1999
Schlagworte:	Computación
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Algoritmo basado en modelos para la revisión de creencias entre formas normales conjuntivas
von: Guillermo De Ita Luna
Veröffentlicht: (2017)

Finding Pure Nash Equilibrium for the Resource-Constrained Project Scheduling Problem
von: Guillermo De Ita Luna
Veröffentlicht: (2015)

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

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

Computación y cibernética. / Guillermo Morales Luna
von: Morales Luna, Guillermo
Veröffentlicht: (1999)

El pensamiento natural y las limitaciones formales. / Guillermo Morales Luna
von: Morales Luna, Guillermo
Veröffentlicht: (2002)

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

Modelo para Problemas de Cooperación en Proyectos de Desarrollo con Alto Riesgo
von: Rodolfo Espín
Veröffentlicht: (1999)

Propuesta de funcionalidades para la implementación de una herramienta de reconstrucción de huellas dactilares
von: Leandro Fortún Luna
Veröffentlicht: (2011)

Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos
von: Carlos Daniel Luna
Veröffentlicht: (2004)

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

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

Propuesta metodológica para la orientación de aplicaciones informáticas hacia BPM y SOA
von:
Veröffentlicht: (2016)

Una Metodología de Distribución de Procesos en Problemas de Simulación
von: Luis F. Iribarne
Veröffentlicht: (1999)

Resolución de la ambigedad léxica mediante aprendizaje por cuantificación Vectorial
von: Manuel García Vega
Veröffentlicht: (2007)

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

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

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

Sostenibilidad del software: más allá de Green IT
von: Guillermo Montoya
Veröffentlicht: (2010)

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

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

Resolución de Correferencia de Nombres de Persona para Extracción de Información Biográfica
von: Marcos Garcia
Veröffentlicht: (2011)

Componente genérico para la planificación y ejecución de acciones en aplicaciones de software
von: Guillermo Luzua Farias
Veröffentlicht: (2013)

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

Propuestas para el análisis geoespacial en estudios salubristas
von: Yadian Guillermo Pérez Betancourt
Veröffentlicht: (2018)

Implementación de un Dispositivo para la Gestión de los Recursos del Ancho de Banda
von: Edisson Alexander Machado Giraldo
Veröffentlicht: (2006)

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

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

Sistema para la gestión de contabilidad y de configuración de servicios de red a los usuarios
von: A. A. Garófalo
Veröffentlicht: (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
von: Aldrin Fredy Jaramillo
Veröffentlicht: (2007)

Principales actividades de IFIP previstas para los próximos años
von: Ramón Puigjaner Trepat
Veröffentlicht: (2011)

Breve revisión sobre Resolución de Restricciones Geométricas
von: Angel Alberto Vazquez-Sánchez
Veröffentlicht: (2021)

Algoritmo evolutivo para hardware evolucionable
von: Celso de la Cruz
Veröffentlicht: (2009)

Una Propuesta para el Etiquetado Automático de Roles Semánticos
von: Isabel Segura Bedmar
Veröffentlicht: (2006)

MLRul: un algoritmo para la generación de reglas borrosas para la clasificación
von: P. Y. Piñero
Veröffentlicht: (2006)

Métricas para la Evaluación de la Complejidad de Bases de Datos Relacionales
von: Coral Calero
Veröffentlicht: (2000)

Retos en la gestión de los riesgos de proyectos de software
von: Yeleny Zulueta Véliz
Veröffentlicht: (2008)

Herramientas para la Estrilcturación Conceptual de Espacios
von: José Francisco Martínez
Veröffentlicht: (2001)

Resolución de la Ambigüedad Semántica de las palabras mediante Modelos de Probabilidad de Máxima Entropía
von: Armando Suárez Cueto
Veröffentlicht: (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
von: José de Jesús Medel Juárez
Veröffentlicht: (2002)