Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking
From MaRDI portal
Publication:2398438
DOI10.1007/s10601-016-9240-3zbMath1368.05046arXiv1510.08266MaRDI QIDQ2398438
Michael Frank, Michael Codish, Alice Ann Miller, Avraham Itzhakov
Publication date: 16 August 2017
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.08266
05C15: Coloring of graphs and hypergraphs
Uses Software