Rado numbers and SAT computations

DOI10.1145/3476446.3535494MaRDI QIDQ6665769zbMATH OpenFDO

Authors Yuan Chang, Jesús A. De Loera, William J. Wesley

Publication date 17 January 2025

Full work available at URL https://doi.org/10.1145/3476446.3535494

zbMATH Keywords

Rado numbersRamsey theorySAT solving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited in

(4)

• Lower bounds for book Ramsey numbers
• Ramsey numbers through the lenses of polynomial ideals and Nullstellensätze
• An algebraic perspective on Ramsey numbers
• Improved Ramsey-type theorems for Fibonacci numbers and other sequences

This page was built for publication: Rado numbers and SAT computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6665769)