Artifact
ROADEF_SCHEDULING Software
Authors
Sami Cherif 
,
Heythem Sattoutah ,
Chu-Min Li ,
Corinne Lucet ,
Laure Brisoux-Devendeville
- Part of: Collection: Supplementary Materials
- License: Creative Commons Attribution Non Commercial 4.0 International
- Publication Date: 2024-11-28
Author Details
Content
- Software (Source Code,~Data,~Benchmark): https://github.com/satoutahhaithem/ROADEF_SCHEDULING
-
archived version
Version/Status
- Content created at: 2024-06-20
Description
This supplementary material contains a Python program designed for scheduling sessions for the ROADEF conference. The program encodes the problem into Maximum Satisfiability (Max-SAT), which can be then solved through dedicated solvers to efficiently allocate sessions while minimising working-group conflicts. Raw data of the last four years of ROADEF and the extracted Max-SAT instances are also provided.
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)