## A Computer Assisted Optimal Depth Lower Bound for Nine-Input Sorting Networks (1991)

by
Ian Parberry Department
,
Ian Parberry

Venue: | Math. Syst. Theory |