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
Document Identifiers
Author Details
Content
- Software (Source Code,~Data,~Benchmark): https://github.com/satoutahhaithem/ROADEF_SCHEDULING
-
archived version
Version/Status
- Content created at: 2024-06-20
Cite As Get BibTex
Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville. ROADEF_SCHEDULING (Software, Source Code,~Data,~Benchmark). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22455
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.
Subject Classification
Keywords
- ROADEF conference
- session scheduling
- data
- Max-SAT benchmark
Programming Languages
- Python
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)