Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search (2006)

AUTHORS:

Rintanen Jussi , Heljanko Keijo , Niemelä Ilkka

  • JOURNAL:
  • Artificial Intelligence
  • VOLUME:
  • 170
  • PAGES:
  • 1031-1080

URL:
http://dx.doi.org/10.1016/j.artint.2006.08.002