Variable neighborhood tabu search algorithm for integrated imaging satellites scheduling problem