Proyectos
1 Avispa: Integración de paradigmas orientado objetos y satisfacción de restricciones en un ambiente visual
2 "CRISOL":crisol Laboratorio de Tecnologías de Programación por Restricciones para el PTSC
3 Construcción de un Software de Ayuda para la Toma de Decisiones de Vertimiento de Agua en la Represa del Alto Anchicayá
4 Contraintes en OM
5 "PATHOS":pathos : Automatización de asignación de horarios y aulas en universidades utilizando programación por restricciones
6 "CRE2":cre2 : Reconfiguración de Redes de Distribución de Energía Eléctrica usando Programación por restricciones
7 "XRI":xri : Sistema de restricciones sobre intervalos para "mozart":http://www.mozart-oz.org
8 Formalismos de concurrencia para ayuda a la composición musical
2 "CRISOL":crisol Laboratorio de Tecnologías de Programación por Restricciones para el PTSC
3 Construcción de un Software de Ayuda para la Toma de Decisiones de Vertimiento de Agua en la Represa del Alto Anchicayá
4 Contraintes en OM
5 "PATHOS":pathos : Automatización de asignación de horarios y aulas en universidades utilizando programación por restricciones
6 "CRE2":cre2 : Reconfiguración de Redes de Distribución de Energía Eléctrica usando Programación por restricciones
7 "XRI":xri : Sistema de restricciones sobre intervalos para "mozart":http://www.mozart-oz.org
8 Formalismos de concurrencia para ayuda a la composición musical