Sign in
Learning Evaluation Functions for Global Optimization and Boolean Satisfiability.
Justin A. Boyan
Andrew W. Moore
Published in:
AAAI/IAAI (1998)
Keyphrases
</>
global optimization
evaluation function
learning algorithm
reinforcement learning
neural network
sat solvers
evolutionary algorithm
randomly generated
boolean satisfiability