Parallel Encodings of Classical Planning as Satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jussi Rintanen' in GoogleThis author has not been identified. Look up 'Keijo Heljanko' in GoogleThis author has not been identified. Look up 'Ilkka Niemelä' in Google

runs on WebDSL