TY  - RPRT
TI  - Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten)
AU  - Michael Codish
AU  - Luís Cruz-Filipe
AU  - Michael Frank
AU  - Peter Schneider-Kamp
PY  - 2014
DO  - 10.1109/ictai.2014.36
UR  - https://arxiv.org/abs/1405.5754
ID  - 1405.5754
ER  -