A “Logic-Constrained” Knapsack Formulation and a Tabu Algorithm for the Daily Photograph Scheduling of an Earth Observation Satellite

Vasquez, Michel, Hao, Jin-Kao · Computational Optimization and Applications · 2001