ai.planning.propositional.ssp