Satellites Scheduling Algorithm Based on Dynamic Constraint Satisfaction Problem | IEEE Conference Publication | IEEE Xplore