DOCTORADO Departamento Ciencia de la Computación e Inteligencia Artificial. Curso 2003-04 1 Modelos y Técnicas para Problemas de Satisfacción de Restricciones.