A Novel Transition Based Encoding Scheme for Planning as Satisfiability
Published on Sep 01, 20103359 Views
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from the STRIPS formal