Statistical Analysis of Backtracking on Inconsistent CSPs.
Irina RishDaniel FrostPublished in: CP (1997)
Keyphrases
- statistical analysis
- constraint satisfaction
- backtracking algorithm
- constraint satisfaction problems
- constraint propagation
- forward checking
- search space
- arc consistency
- backtracking search
- search tree
- backtracking algorithms
- constraint networks
- constraint programming
- statistical methods
- search algorithm
- partial constraint satisfaction
- constraint problems
- symmetry breaking
- clinical data
- non binary
- tree decomposition
- inconsistent information
- heuristic search
- sat solvers
- soft constraints
- tree search
- probabilistic reasoning
- orders of magnitude
- state space
- temporal constraints
- ordering heuristics