Applying Sorting Networks to Synthesize Optimized Sorting Libraries
- Codish, Michael
- Cruz-Filipe, Luis
- Nebel, Markus
- Schneider-Kamp, Peter
- Falaschi, Moreno
Publication date
January 2015
DOI Publisher
Springer Science and Business Media LLCAbstract
Codish M, Cruz-Filipe L, Nebel M, Schneider-Kamp P. Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In: Falaschi M, ed. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science. Vol 9527. Berlin ; Heidelberg: Springer; 2015: 127-142
Add to ORKG