A linear-time algorithm for 7-coloring 1-plane graphs

From MaRDI portal
Publication:818664