In the 1990s, Noam Elkies, followed by A. O. L. Atkin devised improvements to Schoof's basic algorithm by making a distinction among the primes that are used.
Schoof–Elkies–Atkin algorithm, extension of Schoof's algorithm by Noam Elkies and A. O. L. Atkin to improve its efficiency