Research
Publications
Coauthors
Projects (grants)
Affiliations
Archive
Research Interests
Events
Advising
Current/Former
Genealogy
Teaching
2024 Fall: DM819
Past
News/blog
About
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.