research
∙
11/25/2015
Breaking Symmetries in Graph Search with Canonizing Sets
There are many complex combinatorial problems which involve searching fo...
research
∙
10/28/2015
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
The number R(4,3,3) is often presented as the unknown Ramsey number with...
research
∙
09/18/2014