A new proof of the Four-Color Theorem (1996)

by Neil Robertson, Daniel P Sanders, Paul Seymour, Robin Thomas
Venue:Electronic Research Announcements of the American Mathematical Society