Heuristic Backtracking Algorithms for SAT.
Ateet BhallaInês LynceJosé T. de SousaJoão P. Marques SilvaPublished in: MTV (2003)
Keyphrases
- backtracking algorithms
- backtracking search
- search algorithm
- constraint satisfaction problems
- sat problem
- variable ordering
- satisfiability problem
- constraint satisfaction
- backtracking algorithm
- forward checking
- heuristic function
- search strategies
- max sat
- tabu search
- stochastic local search
- branch and bound
- sat solvers
- constraint propagation
- search problems
- branch and bound algorithm
- bayesian networks
- search methods
- combinatorial optimization
- heuristic search
- np complete
- search space
- optimal solution