Every plane graph of maximum degree 8 has an edge-face 9-colouring

Ross J. Kang, Jean-Sébastien Sereni, Matěj Stehlík

An edge-face colouring of a plane graph with edge set $E$ and face set $F$ is a colouring of the elements of $E\cup F$ such that adjacent or incident elements receive different co…