Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
DGX agentarXiv:2604.21187v1 Announce Type: cross Abstract: Ramsey-good graphs are graphs that contain neither a clique of size s nor an independent set of size t. We study doubly saturated Ramsey-good graphs,