Formally Proving Size-Optimality of Sorting Networks.
Luís Cruz-Filipe, Kim S. Larsen, and Peter Schneider-Kamp.
Journal of Automated Reasoning. Accepted for Publication.


other publications
Other publications by the author.