Skip to content

Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem.

Lars Noschinski

VenueBITP
Year2012
ProceedingsITP

Browse the full ITP paper archive.