6 ms·Game of Life in reverse with SAT solvers – Thinking in 3721 dimensions (2024) [video]1 points by vismit2000 11mo ago