Backjump-based backtracking for constraint satisfaction problems.
Rina DechterDaniel FrostPublished in: Artif. Intell. (2002)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- forward checking
- constraint propagation
- backtracking search
- backtracking algorithms
- search space
- backtracking algorithm
- np complete
- constraint programming
- arc consistency
- constraint solving
- non binary
- np hard
- constraint networks
- combinatorial problems
- soft constraints
- decomposition methods
- solving constraint satisfaction problems
- computational problems
- temporal constraints
- sat solvers
- constraint solver
- finite domain
- disjunctive temporal
- constraint problems
- path consistency
- sat problem
- branch and bound
- search algorithm
- objective function