Verifying the concentration property of permutation networks by BDDs.

Tripti Jain Klaus Schneider

Published in: MEMOCODE (2016)

Keyphrases

heuristic search
network design
data sets
social networks
binary decision diagrams
database
small world
network analysis
desirable properties
computer networks
complex networks
network structure
model checking
complex systems
association rules
website
neural network
databases