Determination of One-Way Bandwidth of Cellular Automata Using Binary Decision Diagrams.
Andreas C. DöringPublished in: J. Cell. Autom. (2013)
Keyphrases
- cellular automata
- binary decision diagrams
- boolean functions
- cellular automaton
- symbolic model checking
- cellular automata model
- planning problems
- chaotic dynamics
- variable ordering
- discrete dynamical systems
- cellular automaton model
- model checking
- general purpose
- lattice gas
- potts model
- pattern formation
- knowledge compilation
- traffic flow
- reaction diffusion
- domain independent
- expert systems
- artificial intelligence