What is the “Strong Pseudoprime”?

https://en.wikipedia.org/wiki/Strong_pseudoprime

http://mathworld.wolfram.com/StrongPseudoprime.html

https://www.saylor.org/site/wp-content/uploads/2012/07/Strong-pseudoprime.pdf

What is Miller-Rabin primality test?

http://mathworld.wolfram.com/Rabin-MillerStrongPseudoprimeTest.html

https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test

Deterministic Variant of Miller-Rabin Algorithm:

https://github.com/Abdullahalabd/algorithms-lib/blob/master/Miller%E2%80%93Rabin.cpp

The theoretical part of the algorithm above is mentioned in Wikipedia here.