A Novel Transition Based Encoding Scheme for Planning as Satisfiability

Open in new window