Facts and Fallacies in Using Genetic Algorithms for Learning Clauses in First-Order Logic.

Flaviu Adrian Marginean

Browse the full GECCO paper archive.