An Experimental Study of Satisfiability Search Heuristics.
Karem A. SakallahFadi A. AloulJoão P. Marques SilvaPublished in: DATE (2000)
Keyphrases
- search heuristics
- constraint programming
- search strategy
- search algorithm
- evolutionary algorithm
- tabu search
- branch and bound search
- beam search
- search procedures
- satisfiability problem
- genetic algorithm
- knapsack problem
- search strategies
- multi objective
- neural network
- phase transition
- np complete
- optimization problems
- heuristic search
- constraint satisfaction
- branch and bound
- computational complexity
- routing problem