A variant of Mathias forcing that preserves $${\mathsf{ACA}_0}$$.

François G. Dorais

Published in: Arch. Math. Log. (2012)

Keyphrases

ant colony algorithm
neural network

multiscale
viewpoint

learning process
particle swarm optimization

mathematical model
global optimization