SAT-Based Analysis of Cellular Automata

DOI10.1007/978-3-540-30479-1_77zbMath1116.68508OpenAlexW1554918412MaRDI QIDQ5464170

Massimo D'Antonio, Giorgio Delzanno

Publication date: 17 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-30479-1_77

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Related Items (2)

Weighting strategy for non-clausal resolution ⋮ Predecessor existence problems for finite discrete dynamical systems

Uses Software

• zChaff

This page was built for publication: SAT-Based Analysis of Cellular Automata