TY  - RPRT
TI  - Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
AU  - Michael Codish
AU  - Michael Frank
AU  - Avraham Itzhakov
AU  - Alice Miller
PY  - 2015
UR  - https://arxiv.org/abs/1510.08266
ID  - 1510.08266
ER  -