Improving Local Search for Satisfiability Problem by Integrating Structural Properties.
Djamal HabetMichel VasquezPublished in: RIVF (2007)
Keyphrases
- structural properties
- satisfiability problem
- search algorithm
- stochastic local search
- np complete
- temporal logic
- phase transition
- graph coloring problems
- sat problem
- search space
- stochastic local search algorithms
- genetic algorithm
- pspace complete
- sat instances
- topological properties
- tree width
- network evolution
- randomly generated
- tabu search
- optimal solution
- model checking
- decision procedures
- mazurkiewicz traces
- clause learning
- search strategy
- branch and bound
- simulated annealing
- computational complexity
- knowledge base