Ian Parberry. A computer assisted optimal depth lower bound for sorting networks with nine inputs. In F. Ron Bailey, editor, Proceedings Supercomputing '89, Reno, NV, USA, November 12-17, 1989. pages 152-161, IEEE Computer Society / ACM, 1989. [doi]
@inproceedings{Parberry89-1,
title = {A computer assisted optimal depth lower bound for sorting networks with nine inputs},
author = {Ian Parberry},
year = {1989},
doi = {10.1145/76263.76280},
url = {http://doi.acm.org/10.1145/76263.76280},
researchr = {https://researchr.org/publication/Parberry89-1},
cites = {0},
citedby = {0},
pages = {152-161},
booktitle = {Proceedings Supercomputing '89, Reno, NV, USA, November 12-17, 1989},
editor = {F. Ron Bailey},
publisher = {IEEE Computer Society / ACM},
isbn = {0-89791-341-8},
}