Solving planning graph by compiling it into CSP (1999)

by B Do, S Kambhampati