Multi-Criteria Ship Route Modeling and Optimization Using Ant Colony Optimization with a Case Study in Indonesia | IEEE Conference Publication | IEEE Xplore