Hadwiger's conjecture is decidable.

Ken-ichi Kawarabayashi, Bruce A. Reed

Browse the full STOC paper archive.