The FF planning system: Fast plan generation through heuristic search, J. Artificial Intelligence Research, vol.14, pp.253-302, 2001. ,
SAT encodings of state-space reachability problems in numeric domains, Proc. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), 1918. ,
Monte-Carlo exploration for deterministic planning, Proc. 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pp.1766-1771, 2009. ,
Improving local search for resource-constrained planning, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00491129