Using Inference to Reduce Arc Consistency Computation.
Christian BessièreEugene C. FreuderJean-Charles RéginPublished in: IJCAI (1) (1995)
Keyphrases
- arc consistency
- constraint satisfaction problems
- constraint satisfaction
- space complexity
- constraint propagation
- constraint programming
- constraint networks
- max csp
- arc consistency algorithm
- constraint reasoning
- global constraints
- soft constraints
- consistency checking
- branch and bound search
- worst case time complexity
- non binary
- bayesian inference
- arithmetic constraints
- bayesian networks
- maintaining arc consistency
- solving constraint satisfaction problems
- heuristic search
- state space
- relational databases