A general framework for scheduling equipment and manpower at container terminals --