Rado Numbers and SAT Computations Yuan Chang1 Jes us A. De Loera1 and William J. Wesley1 1Department of Mathematics University of California Davis 1 Shields Ave
RadoNumbersandSATComputationsYuanChang1,JesusA.DeLoera1,andWilliamJ.Wesley
11DepartmentofMathematics,UniversityofCalifornia,Davis,1ShieldsAve,Davis,CA95616October10,20221IntroductionAwell-knownresultinarithmeticRamseytheoryisSchur'stheorem,whichstatesthatforanyk1,thereisanintegernsuchthateveryk-c...
2025-05-01
397.27KB 20 页 0
0
10玖币