BLS75

BLS75 or Brillhart-Lehmer-Selfridge 1975 refers to the seminal paper:

• John Brillhart, Derrick Henry Lehmer, John L. Selfridge (April 1975). "New Primality Criteria and Factorizations of 2^m ± 1". Mathematics of Computation. Volume 29, Number 130: 620-647.

The paper shows a number of methods to prove primality of p based on partial factoring of p-1 and p+1.