E. Kelareva, S. Brand, P. Kilby, S. Thiebaux, and M. Wallace, “CP and MIP Methods for Ship Scheduling with Time-Varying Draft”, ICAPS, vol. 22, no. 1, pp. 110-118, May 2012.