%0 Journal Article %A Baird, Leemon %A Fagin, Barry %T Faster Methods for Identifying Nontrivial Energy Conservation Functions for Cellular Automata %J Discrete mathematics & theoretical computer science %D 2010 %V DMTCS Proceedings vol. AL, Automata 2010 - 16th Intl. Workshop on CA and DCS %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2763/ %R 10.46298/dmtcs.2763 %G en %F DMTCS_2010_special_257_a8