Short proofs of coloring theorems on planar graphs

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

Published in: CoRR (2012)

Keyphrases

planar graphs
sequent calculus
approximate inference
linear programming
special case
probability distribution
semi supervised
least squares
minimum weight