A constraint-based approach to satellite scheduling. - Joseph C. Pemberton; Flavius Galiber III (Constraint Programming and Large Scale Discrete Optimization, 1998)