Abstract This paper addresses the quay crane scheduling problem (QCSP) with vessel stability constraints. Vessel stability is essential to improve quay crane operations in container terminals, but it significantly complicates the basic QCSP and the corresponding solutions methods. We describe a novel mathematical formulation for the unidirectional QCSP with vessel stability, and we propose an exact algorithm based on logic-based Benders decomposition to solve the problem efficiently. The problem is decomposed into two subproblems, e.g., a task-assignment master problem without vessel stability constraints, and a time-allocation problem, aimed at determining the operation time of each task under the premise of the vessel stability requirements. The proposed algorithm is tested on benchmark instances derived from the literature, and the effectiveness of the proposed model and solution approach is demonstrated.

中文翻译：

---

具有船舶稳定性的单向码头起重机调度问题的精确算法

摘要 本文解决了具有船舶稳定性约束的码头起重机调度问题（QCSP）。船舶稳定性对于改善集装箱码头的码头起重机操作至关重要，但它使基本的 QCSP 和相应的解决方案方法显着复杂化。我们为具有船舶稳定性的单向 QCSP 描述了一种新的数学公式，并且我们提出了一种基于逻辑的 Benders 分解的精确算法来有效地解决问题。该问题被分解为两个子问题，即没有船舶稳性约束的任务分配主问题和时间分配问题，旨在在船舶稳性要求的前提下确定每个任务的运行时间。所提出的算法在源自文献的基准实例上进行了测试，