03:38duration 3 minutes 38 seconds
ECS 220 2c:5.3-3 3-Coloring reduces to…
ECS 220 2c:5.3-3 3-Coloring reduces to Independent-Set
10:06duration 10 minutes 6 seconds
ECS 220 2c:5.3-2 NAE-SAT reduces to 3-Coloring