Paul Walton, Wing Ning Li. Searching for Monochromatic-Square-Free Ramsey Grid Colorings via SAT Solvers. In International Conference on Information Science and Applications, ICISA 2013, Hilton Pattaya Hotel, Pattaya, Thailand, June 24-26, 2013. pages 1-5, IEEE, 2013. [doi]
Abstract is missing.