Solution Strategy for Map Coloring

Level 1:

enumerate N, starting with 1.

Level 2:

• create variables Ci ranging from 1 to N

• set up propagators

• eliminate symmetries

• enumerate variables Ci

Previous slide

Next slide

Back to first slide

View graphic version