On linear-time algorithms for five-coloring planar graphs

From MaRDI portal
Publication:1057278