A 0–1 linear programming formulation for the Berth Assignment Problem | IEEE Conference Publication | IEEE Xplore