Andreas Morgenstern, Klaus Schneider. Synthesis of Parallel Sorting Networks using SAT Solvers. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 71-80, OFFIS-Institut für Informatik, 2011.