A Computer-Assisted Optimal Depth Lower Bound for Nine-Input Sorting Networks

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},
}