Get the latest tech news
Finding Mona Lisa in the Game of Life (2020)
Using a SAT solver to find Game of Life states that turn into pictures.
Also, based on Reddit conversation, it seems that you can avoid Gardens of Eden by searching multiple generations into the past in the same SAT expression. Maybe I'll come back to this some day and find a giant Life state that turns into a detailed portrait of John Conway. Backwards solver #2 (from the previous point) mentions The Art of Computer Science, Volume 4, Fascicle 6 as a source of information and exercises on backsearch in Life.
Or read this on Hacker News
