Integrated Container Slot Allocation and Automated Stacking Crane Scheduling in Automated Container Terminals with Limited Buffers | Synapse