A Proof-Theoretic Analysis of Weak Crossover.

Published in: JSAI-isAI Workshops (2021)

Keyphrases

theoretic analysis
genetic algorithm
evolutionary algorithm
genetic programming
selection strategy
genetic algorithm ga
databases
linear logic
theorem proving
differential evolution
multiscale
theorem prover
simulated annealing
knowledge representation
database
logical rules
complete axiomatization