Hi!

I am currently reading some paper which states that 2-List Coloring problem (i.e the list of colours for every vertex is of size at most 2) is polynomial time solvable for planar graphs. The paper provides some references for the proof but they are nowhere to be found on the internet. I have tried a lot to come up with a proof myself but haven't been successful. I am hoping someone here can share a proof for it.

Also, I read somewhere that not only for planar graphs, it is polynomial time even for general graphs.

Thanks!