Random backtracking in backtrack search algorithms for satisfiability.
Inês LynceJoão P. Marques SilvaPublished in: Discret. Appl. Math. (2007)
Keyphrases
- search algorithm
- satisfiability problem
- search tree
- tree search
- backtracking algorithms
- heuristic search
- branch and bound
- search strategy
- search space
- search methods
- sat problem
- graph search
- random sat
- propositional logic
- search strategies
- stochastic local search
- computational complexity
- unit propagation
- davis putnam
- conjunctive normal form
- random constraint satisfaction problems
- heuristic function
- max sat
- computational properties
- game tree
- path finding
- dependency directed backtracking
- search problems
- randomly generated
- constraint satisfaction