Compositional Object Synthesis in Game of Life Cellular Automata Using SAT Solver.
Haruki NishimuraKoji HasebePublished in: ICSI (2) (2021)
Keyphrases
- cellular automata
- sat solvers
- cellular automaton
- sat solving
- cellular automata model
- propositional satisfiability
- boolean satisfiability
- sat instances
- lattice gas
- chaotic dynamics
- constraint solver
- orders of magnitude
- max sat
- sat problem
- search strategies
- constraint satisfaction
- search tree
- sat encodings
- phase transition
- pattern formation
- randomly generated
- probabilistic planning
- evolutionary algorithm
- unsatisfiable cores
- discrete dynamical systems