Login / Signup
An Analysis and Evaluation of the Saving Capability and Feasibility of Backward-Chaining Evolutionary Algorithms.
Huayang Xie
Mengjie Zhang
Published in:
ACAL (2009)
Keyphrases
</>
evolutionary algorithm
backward chaining
genetic programming
forward chaining
artificial intelligence
lower bound
machine learning
genetic algorithm
expert systems
case based reasoning
theorem proving