Using the disjunctive graph for vessel scheduling | IEEE Conference Publication | IEEE Xplore