Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking.

Published in: CoRR (2015)

Keyphrases