Models And Solution Algorithms For Efficient Truck Scheduling At Cross-Docking Terminals With Time-Sensitive Products