The adjacent vertex distinguishing edge choosability of planar graphs with maximum degree at least 11

From MaRDI portal