Tag: computergestützter
Ein computergestützter Proof löst das Problem der „Packungsfärbung“.
Heule empfand die Entdeckung früherer Ergebnisse jedoch als belebend. Es zeigte, dass andere Forscher das Problem für wichtig genug hielten, um daran zu arbeiten, und bestätigte für ihn, dass das…