P
Initializing...
Theorem 5.7 -- fast mixing of the Metropolis chain on colorings · Prove2Me