J. Hoffmann and B. Nebel, The FF planning system: Fast plan generation through heuristic search, J. Artificial Intelligence Research, vol.14, pp.253-302, 2001.

J. Hoffmann, H. Kautz, C. Gomes, and B. Selman, SAT encodings of state-space reachability problems in numeric domains, Proc. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), 1918.

H. Nakhost and M. Müller, Monte-Carlo exploration for deterministic planning, Proc. 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pp.1766-1771, 2009.

H. Nakhost, J. Hoffmann, and M. Müller, Improving local search for resource-constrained planning, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00491129