A Novel Transition Based Encoding Scheme for Planning as Satisfiability.

Ruoyun Huang, Yixin Chen, Weixiong Zhang

Browse the full AAAI paper archive.