@inbook{6906f71995fd40378306da27930319ec,
title = "Integrating Ship Movement Scheduling and Tug Assignment Within a Canal Harbor",
abstract = "In this paper we address the in-port ship scheduling and tug assignment problem. This problem aims to determine a schedule of ship movements, and their escorting tugs, within a canal harbor. We formulate the problem as a Boolean satisfiability problem. In particular, we deal with canal-harbors, as this kind of harbors present strict constraints, e.g., on safety distance. We consider the Port of Venice, a medium size Italian harbor, as a case study.",
keywords = "Boolean satisfiability, Locomotive scheduling problem, Ship scheduling, Tug assignment",
author = "Tollo, \{Giacomo di\} and Raffaele Pesenti and Matteo Petris",
note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.",
year = "2019",
month = jan,
day = "1",
doi = "10.1007/978-3-030-34960-8\_2",
language = "English",
series = "AIRO Springer Series",
publisher = "Springer Nature",
pages = "13--22",
booktitle = "AIRO Springer Series",
}