Backtracking Search Algorithm for Satisfiability Degree Calculation.
Chongyuan YinGuiming LuoPei HuPublished in: FSKD (2) (2009)
Keyphrases
- search algorithm
- satisfiability problem
- search tree
- search space
- heuristic search
- tree search
- search strategy
- branch and bound
- search methods
- backtracking search
- search strategies
- selection algorithm
- np complete
- search procedure
- computational complexity
- constraint satisfaction
- tabu search
- upper bound
- cnf formula
- calculation method