Boosting Ant Colony Optimization via Solution Prediction and Machine Learning