Robuta

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2026.12 A Bookworm Climbs up the Polynomial Hierarchy: Meta-Restoration Complexity in Arithmetic Puzzles climbs up polynomial hierarchy bookworm meta restoration