Focused Local Search for Random 3-Satisfiability
Sakari SeitzMikko AlavaPekka OrponenPublished in: CoRR (2005)
Keyphrases
- satisfiability testing
- random sat instances
- stochastic local search
- satisfiability problem
- search algorithm
- propositional logic
- genetic algorithm
- combinatorial optimization
- np complete
- search space
- random constraint satisfaction problems
- simulated annealing
- phase transition
- randomly generated
- sat solving
- tabu search
- branch and bound
- memetic algorithm
- job shop scheduling problem
- sat problem
- computational complexity
- neighborhood search
- random instances
- random sat
- optimal solution
- neural network