Temporal constraint networks, Temporal constraint networks, pp.61-95, 1991. ,
DOI : 10.1016/0004-3702(91)90006-6
Backtracking algorithms for disjunctions of temporal constraints, Artificial Intelligence, vol.120, issue.1, pp.81-117, 2000. ,
DOI : 10.1016/S0004-3702(00)00019-9
Handling the mission of Earth observation satellites, 2003. ,
Selecting and scheduling observations of agile satellites, Aerospace Science and Technology, vol.6, issue.5, pp.367-381, 2002. ,
DOI : 10.1016/S1270-9638(02)01173-2
A concise survey of scheduling with time-dependent processing times, European Journal of Operational Research, vol.152, issue.1, pp.1-13, 2004. ,
DOI : 10.1016/S0377-2217(02)00909-8
Time-dependent scheduling, 2008. ,
Managing dynamic temporal constraint networks, Proc. of AIPS-94, pp.13-18, 1994. ,
Gaining efficiency and flexibility in the simple temporal problem, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96), pp.45-50, 1996. ,
DOI : 10.1109/TIME.1996.555676
Incremental algorithms for managing temporal constraints, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence, pp.360-365, 1996. ,
DOI : 10.1109/TAI.1996.560477
Enabling fast flexible planning through incremental temporal reasoning with conflict extraction, Proc. of ICAPS-05, pp.252-261, 2005. ,
A new efficient algorithm for solving the simple temporal problem, Proc. of TIME-ICTL-03, pp.210-220, 2003. ,
P3C: a new algorithm for the simple temporal problem, Proc. of ICAPS-08, pp.256-263, 2008. ,
Incrementally solving STNs by enforcing partial path consistency, Proc. of ICAPS-10, pp.129-136, 2010. ,
Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, issue.2, pp.95-132, 1974. ,
DOI : 10.1016/0020-0255(74)90008-5
A generic arc-consistency algorithm and its specializations, Artificial Intelligence, vol.57, issue.2-3, pp.291-321, 1992. ,
DOI : 10.1016/0004-3702(92)90020-X
Two Simplified Algorithms for Maintaining Order in a List, Proc. of ESA-02, pp.152-164, 2002. ,
DOI : 10.1007/3-540-45749-6_17
Incremental Cycle Detection, Topological Ordering, and Strong Component Maintenance, ACM Transactions on Algorithms, vol.8, issue.1, 2012. ,
DOI : 10.1145/2071379.2071382
URL : http://arxiv.org/abs/1105.2397
Improved Dynamic Reachability Algorithms for Directed Graphs, SIAM Journal on Computing, vol.37, issue.5, pp.1455-1471, 2008. ,
DOI : 10.1137/060650271
Constraint-based local search, 2005. ,
LocalSolver 1.x: a black-box local-search solver for 0-1 programming, 4OR, vol.20, issue.2, pp.299-316, 2011. ,
DOI : 10.1007/s10288-011-0165-9