  Just-in-time arrival in the maritime industry is a key concept for the
reduction of Greenhouse gas emissions and cost-cutting, with the aim to reach
the industrywide overall climate goals set by the International Maritime
Organization (IMO) for 2030. In this note, we propose a mathematical
formulation which allows for an implementation on quantum computers.
