Login / Signup

Some Heuristic Analysis of Local Search Algorithms for SAT Problems.

Osamu Watanabe
Published in: SAGA (2005)
Keyphrases
  • search algorithm
  • optimal solution
  • satisfiability problem
  • tabu search
  • search space
  • heuristic search
  • traveling salesman problem
  • search methods
  • backtracking search