Efficient Methods for Agile Earth Observation Satellite Scheduling | IEEE Conference Publication | IEEE Xplore