Naval Fleet Schedule Optimization Using an Integer Linear Program Topics: Optimization; OR in National Defense/International Security; Scheduling In Proceedings of the 13th International Conference on Operations Research and Enterprise Systems ICORES - Volume 1, 47-57, 2024 , Rome, Italy