Exponentially many 3-colorings of planar triangle-free graphs with no short separating cycles

From MaRDI portal
Publication:2099419