no code implementations • 18 Jan 2014 • Ruoyun Huang, Yixin Chen, Weixiong Zhang
We prove the correctness of the new encoding by establishing an isomorphism between the solution plans of SASE and that of STRIPS based encodings.