Keyphrases
- constraint satisfaction problems
- hard constraints
- constraint satisfaction
- ordering heuristics
- constraint propagation
- constraint programming
- np complete
- search space
- non binary
- soft constraints
- np hard
- arc consistency
- constraint networks
- partial constraint satisfaction
- decomposition methods
- forward checking
- solving constraint satisfaction problems
- path consistency
- constraint problems
- knowledge base
- neural network
- global constraints
- sat problem
- cost function
- special case
- evolutionary algorithm
- tree decomposition
- case study
- artificial intelligence