Planning of Parallel Abstract Programs as Boolean Satisfiability.

Gennady A. Oparin, Alexei P. Novopashin

Browse the full PACT paper archive.