TY - DATA
T1 - Speed Robust Scheduling Supplemental Material
PY - 2021/12/26
AU - Franziska Eberle
AU - Ruben Hoeksma
AU - Nicole Megow
AU - Lukas Nölke
AU - Kevin Schewior
AU - Betrand Simon
UR - https://data.4tu.nl/articles/software/Speed_Robust_Scheduling_Supplemental_Material/17159216/1
DO - 10.4121/17159216.v1
KW - Scheduling algorithms
KW - Computer assisted proof
KW - Data Structures
KW - Combinatorial optimization
N2 - This supplemental material proves two claims of the main paper named "Speed-Robust Scheduling". It provides a Mathematica sheet and its output, proving the last claim of Lemma 11; a Python script used to certify that for the relevant values of number of machines and unit-size jobs, there exists a 4/3-robust solution (Lemma 15); a compressed data file containing the input of the script check.py; a file with human-readable data.
ER -