A model for the vessel crew scheduling problem