Dvořák, 2017. Do triangle-free planar graphs have exponentially many 3-colorings?.