Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability

Résumé

This paper explores the application of Maximum Satisfiability (Max-SAT) to the complex problem of conference session scheduling, with a particular focus on minimizing working-group conflicts within the context of the ROADEF conference, the largest French-speaking event aimed at bringing together researchers from various fields such as combinatorial optimization and operational research. A Max-SAT model is introduced then enhanced with new variables, and solved through state-of-the-art solvers. The results of applying our formulation to data from ROADEF demonstrate its ability to effectively compute session schedules, while enabling to reduce the number of conflicts and the maximum number of parallel sessions compared to the handmade solutions proposed by the organizing committees. These findings underscore the potential of Max-SAT as a valuable tool for optimizing conference scheduling processes, offering a systematic and efficient solution that ensures a smoother and more productive experience for attendees and organizers alike.
Fichier principal
Vignette du fichier
LIPIcs.CP.2024.34.pdf (686.61 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-04699557 , version 1 (17-09-2024)

Licence

Identifiants

Citer

Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville. Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability. 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Sep 2024, Girona, Spain. ⟨10.4230/LIPIcs.CP.2024.34⟩. ⟨hal-04699557⟩

Collections

U-PICARDIE MIS
43 Consultations
39 Téléchargements

Altmetric

Partager

More