A computer assisted optimal depth lower bound for sorting networks with nine inputs.

Ian Parberry

Browse the full SC paper archive.