%0 Conference Paper %1 conf/mbmv/MorgensternS11 %A Morgenstern, Andreas %A Schneider, Klaus %B MBMV %D 2011 %E Oppenheimer, Frank %I OFFIS-Institut für Informatik %K %P 71-80 %T Synthesis of Parallel Sorting Networks using SAT Solvers. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2011.html#MorgensternS11

@inproceedings{conf/mbmv/MorgensternS11, added-at = {2023-12-13T00:47:54.000+0100}, author = {Morgenstern, Andreas and Schneider, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/2f7b4edb064a8175d650bada79a8488d3/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2011}, editor = {Oppenheimer, Frank}, interhash = {6889ff4d6ab6c7881dd00e3b97e3562b}, intrahash = {f7b4edb064a8175d650bada79a8488d3}, keywords = {}, pages = {71-80}, publisher = {OFFIS-Institut für Informatik}, timestamp = {2023-12-13T00:47:54.000+0100}, title = {Synthesis of Parallel Sorting Networks using SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2011.html#MorgensternS11}, year = 2011 }