Parallel Encodings of Classical Planning as Satisfiability

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä. Parallel Encodings of Classical Planning as Satisfiability. In José Júlio Alferes, João Alexandre Leite, editors, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Volume 3229 of Lecture Notes in Computer Science, pages 307-319, Springer, 2004. [doi]

Abstract

Abstract is missing.