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