E.: The Complexity of the Four Colour Theorem (2010)

by C S Calude, Calude
Venue:LMS J. Comput. Math