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