SAT Local Search Algorithms: Worst-Case Study.
Edward A. HirschPublished in: J. Autom. Reason. (2000)
Keyphrases
- search algorithm
- case study
- satisfiability problem
- search algorithms for solving
- stochastic local search algorithms
- backtracking search
- systematic search algorithms
- search problems
- search space
- heuristic search
- lessons learned
- search strategies
- branch and bound
- max sat
- search tree
- search methods
- sat problem
- tabu search
- search strategy
- path finding
- sat solvers
- search procedures
- knowledge management
- software development
- constraint satisfaction problems
- real world
- design process
- boolean satisfiability
- sat solving
- selection algorithm
- np hard
- random walk