Graph Theory and Interactive Protocols for Reachability Problems on Finite Cellular Automata.

Andrea Clementi, Russell Impagliazzo

Browse the full CIAC paper archive.