Login / Signup
)) - Improving Randomized Local Search by Initializing Strings of 3-Clauses
Daniel Rolf
Published in:
Electron. Colloquium Comput. Complex. (2003)
Keyphrases
</>
search space
search algorithm
global search
genetic algorithm
optimal solution
simulated annealing
tabu search
hill climbing
finite alphabet
random sat instances
background knowledge
first order logic
combinatorial optimization
edit distance
satisfiability testing