The Hardness of Local Certification of Finite-State Dynamics.

Mon, 01 Jan 2024 00:00:00 +0100

Diego Maldonado, Pedro Montealegre, Martín Ríos-Wilson:
The Hardness of Local Certification of Finite-State Dynamics. LATIN (1) 2024: 51-65