An exact algorithm optimizing coverage-resolution for automated satellite frame selection | IEEE Conference Publication | IEEE Xplore