A computer-assisted optimal depth lower bound for nine-input sorting networks

From MaRDI portal
Publication:3210158