Search - Cellular Automata and Discrete Complex Systems Access content directly

Filter your results

1 Array
Keywords : SAT solving
Image document

Remarks on the Cellular Automaton Global Synchronisation Problem

Nazim Fatès
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jarkko Kari, Jun 2015, Turku, Finland. pp.113-126, ⟨10.1007/978-3-662-47221-7_9⟩
Conference papers hal-01255925v1