Sign in
A Proof-Theoretic Analysis of Weak Crossover.
Daisuke Bekki
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