mapgen : mixed - initiative planning and scheduling for the mars exploration rover mission .
Temporal Constraint Networks