What is the name of another compelling continuation of the Carmichael, oh scratch that, I meant the Fermat primality test?
What is the name of another compelling continuation of the Fermat primality test?