Login / Signup
Surrogate constraint analysis-new heuristics and learning schemes for satisfiability problems.
Arne Løkketangen
Fred W. Glover
Published in:
Satisfiability Problem: Theory and Applications (1996)
Keyphrases
</>
satisfiability problem
learning algorithm
temporal logic
reinforcement learning
lower bound
tabu search
branch and bound algorithm
search procedures
stochastic local search