TY  - RPRT
TI  - SMT and Functional Equation Solving over the Reals: Challenges from the IMO
AU  - Chad E. Brown
AU  - Karel Chvalovský
AU  - Mikoláš Janota
AU  - Mirek Olšák
AU  - Stefan Ratschan
PY  - 2025
UR  - https://arxiv.org/abs/2504.15645
ID  - 2504.15645
ER  -