A comparison of formulations and relaxations for cross-dock door assignment problems. (June 2018)