Minh Binh Do Subbarao Kambhampati Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP. 151-182 2001 132 Artif. Intell. 2 db/journals/ai/ai132.html#DoK01 http://dx.doi.org/10.1016/S0004-3702(01)00128-X