GRASP: A Search Algorithm for Propositional Satisfiability.
João P. Marques SilvaKarem A. SakallahPublished in: IEEE Trans. Computers (1999)
Keyphrases
- propositional satisfiability
- search algorithm
- max sat
- sat solvers
- tabu search
- satisfiability problem
- sat problem
- backtrack search
- propositional logic
- search space
- constraint programming
- davis putnam
- industrial applications
- solving hard
- automated reasoning
- search strategies
- search methods
- stochastic local search
- branch and bound
- search tree
- search problems
- search strategy
- variable ordering
- tree search
- heuristic search
- sat instances
- orders of magnitude
- np complete
- constraint satisfaction
- branch and bound algorithm