Lower Bounds on Inverse Cellular Automata via Proof Complexity. - Maryia Kapytka (CoRR, 2026)