Determination of one-way bandwidth of cellular automata using Binary Decision Diagrams

Andreas Doering. Determination of one-way bandwidth of cellular automata using Binary Decision Diagrams. In Waleed W. Smari, John P. McIntire, editors, 2011 International Conference on High Performance Computing & Simulation, HPCS 2012, Istanbul, Turkey, July 4-8, 2011. pages 773-779, IEEE, 2011. [doi]

Abstract

Abstract is missing.