Arman Kapbasov
Facebook, 1 Hacker Way, Menlo Park, CA 94025, USA

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

Computation of new diagonal graph Ramsey numbers Richard M. Low; Ardak Kapbasov; Arman Kapbasov; Sergey Bereg
Electronic Journal of Graph Theory and Applications (EJGTA) Vol 10, No 2 (2022): Electronic Journal of Graph Theory and Applications
Publisher : GTA Research Group, Univ. Newcastle, Indonesian Combinatorics Society and ITB

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.5614/ejgta.2022.10.2.17

Abstract

For various connected simple graphs G, we extend the table of diagonal graph Ramsey numbers R(G, G) in ‘An Atlas of Graphs.’ This is accomplished by first converting the calculation of R(G, G) into a satisfiability problem in propositional logic. Mathematical arguments and scientific computing are then used to calculate R(G, G).