Login / Signup

SAT-Based Analysis of Cellular Automata.

Massimo D'AntonioGiorgio Delzanno
Published in: ACRI (2004)
Keyphrases
  • cellular automata
  • cellular automaton
  • cellular automata model
  • lattice gas
  • pattern formation
  • neural network