A Constraint Programming Model for the Super-Agile Earth Observation Satellite Imaging Scheduling Problem
This study presents a new exact Constraint Programming model for scheduling imaging tasks for Super-Agile Earth Observation Satellites (SAEOS). It addresses complexity arising from variable observation times, multiple imaging directions, and sequence-dependent transition times. The model efficiently finds optimal solutions within short computational times, outperforming existing non-exact methods.