Synthesis of Parallel Sorting Networks using SAT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Andreas Morgenstern' in GoogleThis author has not been identified. Look up 'Klaus Schneider' in Google

runs on WebDSL