Short proofs of coloring theorems on planar graphs.

Oleg V. Borodin Alexandr V. Kostochka Bernard Lidický Matthew P. Yancey

Published in: Eur. J. Comb. (2014)

Keyphrases

planar graphs
sequent calculus
approximate inference
linear programming