Dickson Pseudoprimes and Primality Testing.

Winfried B. Müller Alan Oswald

Published in: EUROCRYPT (1991)

Keyphrases

decision making
mobile robot
test cases
real time
databases
decision trees
search algorithm
special case
logic programs
test set
bounded treewidth