Efficiently fourcoloring planar graphs (0)

by N Robertson, D P Sanders, P Seymour, R Thomas
Venue:Proceedings of the twenty-eighth annual ACM symposium on Theory of computing (STOC