Events Tagged: "graph coloring"

Kenneth Appel and Wolfgang Haken prove the Four Color Theorem using computer verification - first major computer-assisted proof