The Work Some Probabilistic Restatements of the Four Color Conjecture The details The Author Yuri Matiyasevich The offers