Parallel Encodings of Classical Planning as Satisfiability.

Jussi Rintanen, Keijo Heljanko, Ilkka Niemel

Browse the full JELIA paper archive.