A Note on Minimal Boolean Formula Size of One-Dimensional Cellular Automata
Evangelos Georgiadis
In this note, we disprove 44 claims in [4] on minimal Boolean formula size of one-dimensional two-state nearest neighbor cellular automata as well as set a new upper bound.