03:57duration 3 minutes 57 seconds
ECS 220 2a:4.2-1 3-Coloring reduces to CNF-SAT
09:13duration 9 minutes 13 seconds
ECS 220 1c:4.2-2 planar coloring