Publications Coauthors Projects (grants) Affiliations Archive Research Interests Events
Current/Former Genealogy
2024 Spring: DM582 2024 Fall: DM819 Past
News/blog
CV Pictures Fun
Contact ☰
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.
 
 
Professor Kim S. Larsen
kslarsen@imada.sdu.dk  ▪  imada.sdu.dk/u/kslarsen/