Efficiently four-coloring planar graphs — latest news, discussion & facts — IJR