GRASP - a new search algorithm for satisfiability.
João P. Marques SilvaKarem A. SakallahPublished in: ICCAD (1996)
Keyphrases
- search algorithm
- satisfiability problem
- tabu search
- search space
- sat problem
- search strategy
- branch and bound
- hill climbing
- heuristic search
- stochastic local search
- np complete
- search tree
- propositional logic
- search methods
- knowledge base
- max sat
- metaheuristic
- grasp with path relinking
- search strategies
- special case
- sat instances
- search heuristics
- satisfiability testing
- computational complexity
- quantified boolean formulas
- terminological reasoning
- conjunctive normal form
- decision procedures
- selection algorithm
- motion estimation
- knowledge representation