Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability.
Sakari SeitzMikko AlavaPekka OrponenPublished in: SAT (2005)
Keyphrases
- stochastic local search
- satisfiability problem
- search algorithm
- search space
- simulated annealing
- search strategy
- symmetry breaking
- search efficiency
- evolutionary algorithm
- randomly generated
- computational complexity
- search methods
- np complete
- search tools
- search problems
- tree search
- optimal solution
- information retrieval