A Constraint Programming Model for the Super-Agile Earth Observation Satellite Imaging Scheduling Problem. - Margarida Caleiras; Samuel Moniz; Paulo Jorge Nascimento (ICORES, 2026)