Login / Signup
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker.
Luís Cruz-Filipe
Peter Schneider-Kamp
Published in:
CoRR (2015)
Keyphrases
</>
network size
scheduling problem
maximum number
community detection
optimal control
complex networks
network structure
worst case
dynamic programming
computational complexity
optimal solution
website
social networks
information retrieval
np hard
database
community structure
neural network
optimal design
real time