Efficiently fourcoloring planar graphs (1996)

by N Robertson, D P Sanders, P Seymour, R Thomas
Venue:Proc. ACM Symp. Theory Comput