Abstract: Highlights•Faster sorting networks for 17, 19, and 20 inputs.•10 parallel steps are optimal for oblivious sorting of 17 inputs.•Theoretical properties of the structure of sorting networks.•Optimized SAT encoding for finding (depth-optimal) sorting networks.
Loading