SMT and Functional Equation Solving over the Reals: Challenges from the IMO

Open Webpage

Chad E. Brown, Karel Chvalovský, Mikolás Janota, Mirek Olsák, Stefan Ratschan

Published: 01 Jan 2025, Last Modified: 02 Oct 2025CADE 2025EveryoneRevisionsBibTeXCC BY-SA 4.0