Massimo D Antonio, Giorgio Delzanno. SAT-Based Analysis of Cellular Automata. In Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra, editors, Cellular Automata, 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004, Proceedings. Volume 3305 of Lecture Notes in Computer Science, pages 745-754, Springer, 2004. [doi]
@inproceedings{DAntonioD04,
title = {SAT-Based Analysis of Cellular Automata},
author = {Massimo D Antonio and Giorgio Delzanno},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3305&spage=745},
tags = {rule-based, analysis},
researchr = {https://researchr.org/publication/DAntonioD04},
cites = {0},
citedby = {0},
pages = {745-754},
booktitle = {Cellular Automata, 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004, Proceedings},
editor = {Peter M. A. Sloot and Bastien Chopard and Alfons G. Hoekstra},
volume = {3305},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23596-5},
}