Con base en esta caracterización, en el año 2002 presentaron su algoritmo en el artículo "PRIMES is in P".