Gennady A. Oparin, Alexei P. Novopashin. Planning of Parallel Abstract Programs as Boolean Satisfiability. In Victor E. Malyshkin, editor, Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings. Volume 3606 of Lecture Notes in Computer Science, pages 206-215, Springer, 2005. [doi]
Abstract is missing.