Partition search for non-binary constraint satisfaction.
Julian R. UllmannPublished in: Inf. Sci. (2007)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- non binary
- forward checking
- search space
- arc consistency
- backtracking algorithms
- search algorithm
- branch and bound search
- backtrack search
- constraint programming
- search strategies
- constraint propagation
- backtracking search
- constraint solving
- constraint networks
- max csp
- sat problem
- robust fault detection
- phase transition
- heuristic search
- np hard
- soft constraints
- path consistency
- np complete
- constraint optimization
- sat solvers
- generative model
- binary csps
- variable ordering
- constraint problems
- configuration problems
- metaheuristic
- maximum likelihood
- probabilistic model
- constraint relaxation
- branch and bound
- computational complexity