@misc{indiciae0d215cf8352e, title = {A Survey on Code Equivalence: The State-of-the-Art and Open Questions}, author = {Anna-Lena Horlemann and Abhinaba Mazumder and Michael Schaller and Violetta Weger}, year = {2026}, doi = {10.1007/978-3-032-27574-5\_2}, url = {https://arxiv.org/abs/2607.12870}, note = {Source identifier: 2607.12870} }