The rest of the paper is structured as follows. In Sect. 2, we describe the reallife
truck schedule problem and define its formal model. Three MIP formulations are
presented in Sect. 3. Section 4 contains our theoretical conjectures and main empirical
findings obtained via computational tests. Results are summarized in the fifth and last
part—along with areas for further research.