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.
@inproceedings{MorgensternS11-0,
title = {Synthesis of Parallel Sorting Networks using SAT Solvers},
author = {Andreas Morgenstern and Klaus Schneider},
year = {2011},
researchr = {https://researchr.org/publication/MorgensternS11-0},
cites = {0},
citedby = {0},
pages = {71-80},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011},
editor = {Frank Oppenheimer},
publisher = {OFFIS-Institut für Informatik},
}