A Note on Minimal Boolean Formula Size of One-Dimensional Cellular Automata.

Evangelos Georgiadis

Published in: J. Cell. Autom. (2007)

Keyphrases

cellular automata
cellular automaton
boolean formula
cellular automata model
sat solvers
lattice gas
firing squad synchronization
dynamic programming
pattern formation
cellular automaton model
np complete
heuristic search
conjunctive normal form
boolean variables