Brendan D. McKay, Stanislaw P. Radziszowski. Linear Programming in Some Ramsey Problems. Journal of Combinatorial Theory, Series A, 61(1):125-132, 1994. [doi]
@article{McKayR94, title = {Linear Programming in Some Ramsey Problems}, author = {Brendan D. McKay and Stanislaw P. Radziszowski}, year = {1994}, doi = {10.1006/jctb.1994.1038}, url = {http://dx.doi.org/10.1006/jctb.1994.1038}, tags = {programming}, researchr = {https://researchr.org/publication/McKayR94}, cites = {0}, citedby = {0}, journal = {Journal of Combinatorial Theory, Series A}, volume = {61}, number = {1}, pages = {125-132}, }