@misc{indiciae4b5a038cd135, title = {Ramsey Number Counterexample Checking and One Vertex Extension Linearly Bound by \$s\$ and \$t\$}, author = {Adam M. Lehavi}, year = {2024}, url = {https://arxiv.org/abs/2411.04267}, note = {Source identifier: 2411.04267} }