Advances in Local Search for Satisfiability.
Duc Nghia PhamJohn ThorntonCharles GrettonAbdul SattarPublished in: Australian Conference on Artificial Intelligence (2007)
Keyphrases
- satisfiability testing
- stochastic local search
- satisfiability problem
- propositional logic
- search algorithm
- artificial intelligence
- optimal solution
- genetic algorithm
- memetic algorithm
- recent advances
- tabu search
- search heuristics
- global search
- phase transition
- recent developments
- computational complexity
- sat solving
- explore the search space
- terminological reasoning
- simulated annealing
- tree search
- sat problem
- propositional satisfiability
- neighborhood search
- hill climbing
- systematic search
- branch and bound
- random sat instances
- search space