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
09:13duration 9 minutes 13 seconds
ECS 220 1c:4.2-2 planar coloring