Picture for Avraham Itzhakov

Avraham Itzhakov

Breaking Symmetries in Graph Search with Canonizing Sets

Add code
Feb 04, 2016
Figure 1 for Breaking Symmetries in Graph Search with Canonizing Sets
Figure 2 for Breaking Symmetries in Graph Search with Canonizing Sets
Figure 3 for Breaking Symmetries in Graph Search with Canonizing Sets
Figure 4 for Breaking Symmetries in Graph Search with Canonizing Sets
Viaarxiv icon

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

Add code
Nov 01, 2015
Figure 1 for Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Figure 2 for Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Figure 3 for Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Figure 4 for Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Viaarxiv icon

Solving Graph Coloring Problems with Abstraction and Symmetry

Add code
Mar 26, 2015
Figure 1 for Solving Graph Coloring Problems with Abstraction and Symmetry
Figure 2 for Solving Graph Coloring Problems with Abstraction and Symmetry
Figure 3 for Solving Graph Coloring Problems with Abstraction and Symmetry
Figure 4 for Solving Graph Coloring Problems with Abstraction and Symmetry
Viaarxiv icon