Ian Parberry. A Computer-Assisted Optimal Depth Lower Bound for Nine-Input Sorting Networks. Theory Comput. Syst., 24(2):101-116, 1991.
@article{Parberry91, title = {A Computer-Assisted Optimal Depth Lower Bound for Nine-Input Sorting Networks}, author = {Ian Parberry}, year = {1991}, researchr = {https://researchr.org/publication/Parberry91}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {24}, number = {2}, pages = {101-116}, }