Projects Tagged ‘sorting-networks’
2020
Proving the optimal size of 11 and 12 input sorting networks
Tagged formal-verification, sorting-networks
Research project to find the optimal size of sorting networks with 11 and 12 inputs.
Research project to find the optimal size of sorting networks with 11 and 12 inputs.