TY - RPRT TI - An Integer Programming Approach to Compute Lower Bounds for Ramsey Numbers Using Circulant Graphs AU - Stefano Coniglio AU - Fabio Furini AU - Ivana Ljubić AU - Pablo San Segundo AU - Johannes Thüerauf AU - Emiliano Traversi PY - 2026 UR - https://arxiv.org/abs/2608.18769 ID - 2608.18769 ER -