Login / Signup

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