Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking.

Published in: Constraints An Int. J. (2016)

Keyphrases