Sistema para la planificación de los docentes, horarios, salones, laboratorios y salas de cómputo de la Universidad del Valle Sede Tuluá

Abstract

El problema de asignación de cursos, horarios y recursos es un problema de planicación que ha sido enfrentado con distintas técnicas de programación, desde el punto de vista de la programación por restricciones un problema de satisfacción de restricciones consiste en un conjunto de variables acotadas en un dominio discreto o continuo y una serie de restricciones que acotan los valores que las variables pueden simultáneamente tomar. El objetivo de este tipo de problemas es encontrar una asignación de valores a las variables de manera que se satisfagan todas las restricciones. La complejidad de este problema es NP-completo, por lo que es necesario el uso de técnicas ecientes que resuelvan estos problemas en un tiempo razonable. En este documento se presentará un modelo de solución al problema men-cionado y se mostrarán los aspectos más importantes de la implementación de la solución hecha bajo el lenguaje de programación c++ usando la librería Gecode para todo lo referente a la programación por restricciones además de otros lenguajes como java para la implementación de una aplicación la cual será la herramienta para crear el archivo de entrada para el motor de restricciones.