Determination of one-way bandwidth of cellular automata using Binary Decision DiagramsAndreas C. Doering2011HPCS 2011