3-SAT tags Logic Links to this note Computing in cellular automata Last changed 02/03/2021 | authored by Hugo Cisneros