Verification of the Miller-Rabin probabilistic primality test.

Published in: J. Log. Algebraic Methods Program. (2003)

Keyphrases

test generation
bayesian networks
generative model
case study
special case
data driven
feature selection
e learning
face recognition
training data
neural network
artificial intelligence
test cases
context sensitive
belief networks
face verification
data mining