1. Complexity results for SAS+ planning;Bäckström;Computational Intelligence,1995
2. Fast planning through planning graph analysis;Blum;Artificial Intelligence,1997
3. Planning as heuristic search;Bonet;Artificial Intelligence,2001
4. M. Büttner, J. Rintanen, Satisfiability planning with constraints on the number of actions, in: Proc. ICAPS, 2005, pp. 292–299
5. Y. Chen, X. Zhao, W. Zhang, Long distance mutual exclusion for propositional planning, in: Proc. IJCAI, 2007, pp. 1840–1845