ECS 220 2c:5.3-3 3-Coloring reduces to Independent-Set

From David Doty