Comparison of the disjunctive graph model with the MILP class model for vessel scheduling applications | IEEE Conference Publication | IEEE Xplore