@misc{indiciae5bc2d9eb9b12, title = {An Integer Programming Approach to Compute Lower Bounds for Ramsey Numbers Using Circulant Graphs}, author = {Stefano Coniglio and Fabio Furini and Ivana Ljubić and Pablo San Segundo and Johannes Thüerauf and Emiliano Traversi}, year = {2026}, url = {https://arxiv.org/abs/2608.18769}, note = {Source identifier: 2608.18769} }