Encoding Lifted Classical Planning in Propositional Logic