Sergei Gorlatch. SAT: A Programming Methodology with Skeletons and Collective Operations. In Fethi A. Rabhi, Sergei Gorlatch, editors, Patterns and Skeletons for Parallel and Distributed Computing. pages 29-63, Springer, 2003. [doi]
Abstract is missing.