Satellites Scheduling Algorithm Based on Dynamic Constraint Satisfaction Problem. - Baolin Sun; Wenxiang Wang; Qianqing Qi (CSSE (4), 2008)