Resumen de Combinacion de Procesos de Clausura y CSP para la Resolucion de Problemas de Scheduling (Premio Accésit Jose Cuena)
M.I. Alfonso, Federico Barber Sanchís 
El problema de scheduling ha sido estudiado bajo diferentes aproximaciones, fundamentalmente mediante técnicas CSP. En este artículo se presenta un método que combina el proceso de clausura de restricciones con el proceso CSP. Inicialmente, modelamos el scheduling como el problema de satisfacer y encontrar la solución de un conjunto de restricciones métricas disyuntivas, basadas en puntos de tiempo. El método se basa en la adición sucesiva de restricciones (constraint-posting), efectuando un proceso de clausura total en cada nueva adición. Además, para limitar la complejidad del problema, se aplica un proceso CSP parcial que limita el conjunto de posibles soluciones, sin llegar a una instanciación de las variables. Los criterios de decisión están basados en heurísticas locales y globales que permiten mantener un conjunto limitado de soluciones y reducir el número de backtrackings necesarios para llegar a una solución óptima. Una vez procesado el conjunto de restricciones, se obtiene el conjunto mínimo de soluciones, de entre las que podemos obtener una cualquiera de ellas mediante sucesivas instanciaciones de las variables, ya sin necesidad de hacer backtracking.
