Symbolic Sets for Proving Bounds on Rado Numbers. - Tanbir Ahmed; Lamina Zaman; Curtis Bright (CoRR, 2025)