Efficiently Four-Coloring Planar Graphs.

Neil Robertson, Daniel P. Sanders, Paul D. Seymour, Robin Thomas

Browse the full STOC paper archive.