Efficiently Four-Coloring Planar Graphs (1996)

by N Robertson, D Sanders, P Seymour, R Thomas
Venue:in Proc. of the 28th ACM Symposium on Theory of Computing