Sorting nine inputs requires twenty-five comparisons

Michael Codish, Luís Cruz-Filipe, Michael Frank 0002, Peter Schneider-Kamp. Sorting nine inputs requires twenty-five comparisons. J. Comput. Syst. Sci., 82(3):551-563, 2016. [doi]

Abstract

Abstract is missing.