Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten).

Michael Codish, Lus Cruz-Filipe, Michael Frank, Peter Schneider-Kamp

Browse the full ICTAI paper archive.