Evaluation of parallel search for a large scheduling problem

"El problema de planificar los exámenes finales de una universidad puede categorizarse naturalmente como un problema de satisfacción de restricciones. Planificar es un problema abordado extensamente por la comunidad de la programación orientada a restricciones. Sin embargo, debido al tamaño que representa el problema aplicado a los examenes finales de una universidad, las técnicas estándar resultan insatisfactorias al intentar proveer una solución, dado su tiempo de ejecución. En este documento presentamos un algoritmo de descomposición en paralelo, que extiende el solver OscaR. Evaluamos el desempeño del algoritmo y lo contrastamos con el del algoritmo existente en OscaR. Nuestro problema de clasificación involucra más de 1100 variables, sin embargo las pruebas con un conjunto de 320, ya empiezan a mostrar una mejora super lineal en la etapa de descomposición." -- Tomado del formato de documento de grado

• Autores: Agudelo Cruz, Daniel Esteban; Ramos Correa, Juan Felipe
• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2020
• Institución: Universidad de los Andes
• Repositorio: Séneca: repositorio Uniandes
• Idioma: spa
• OAI Identifier: oai:repositorio.uniandes.edu.co:1992/49302
• Acceso en línea: http://hdl.handle.net/1992/49302
• Palabra clave: Programación paralela (Computadores electrónicos); Restricciones (Inteligencia artificial); Método de descomposición; Optimización matemática; Ingeniería
• Rights: openAccess
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/