Parallel Encodings of Classical Planning as Satisfiability (2004)

AUTHORS:

Rintanen Jussi , Heljanko Keijo , Niemelä Ilkka

  • BOOKTITLE:
  • SERIES:
  • Lecture Notes in Artificial Intelligence 3229
  • PAGES:
  • 307-319

URL:
http://www.tcs.hut.fi/~ini/papers/