Authors: Eberle, Franziska, Hoeksma, Ruben, Megow, Nicole, N��lke, Lukas, Schewior, Kevin, Simon, Betrand

Venue: 4TU.ResearchData

Type: Software

Abstract: 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.

DOI: 10.4121/17159216.v1 (Found 2 versions)