On the correctness of the Krivine machine.

Published in: High. Order Symb. Comput. (2007)

Keyphrases

genetic algorithm
pairwise
multiresolution
batch processing
data sets
databases
multiscale
cooperative
evolutionary algorithm