Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker.

Luís Cruz-Filipe Peter Schneider-Kamp

Published in: ITP (2015)

Keyphrases

network size
social networks
dynamic programming
neural network
database
case study
asymptotically optimal
linear logic
network design
optimal design
theorem proving
network analysis
complex systems
worst case
computational complexity
information systems
search engine