Optimal Symbolic Bound Synthesis. - John Cyphert; Yotam Feldman; Zachary Kincaid; Thomas W. Reps (CoRR, 2023)