Studying a Range Proof Technique - Exception and Optimisation.

Published in: AFRICACRYPT (2013)

Keyphrases

wide range
genetic algorithm
data sets
databases
data mining
learning algorithm
information retrieval
probabilistic model
theorem proving
automated theorem proving
logical rules
multi objective optimisation