4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
John Steinberger
We give a new proof of the four-color theorem by exhibiting an unavoidable set of 2822 D-reducible configurations. The existence of such a set had been conjectured by several resea…