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.08266OpenAlexW2257609876MaRDI QIDQ2398438

Michael Frank, Avraham Itzhakov, Michael Codish, Alice Ann Miller

Publication date: 16 August 2017

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.08266




Related Items (6)


Uses Software


Cites Work


This page was built for publication: Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking