Verifying the concentration property of permutation networks by BDDs.

Tripti Jain, Klaus Schneider

Browse the full MEMOCODE paper archive.