Login / Signup

Surrogate constraint analysis-new heuristics and learning schemes for satisfiability problems.

Arne LøkketangenFred 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