Formal Description Techniques for CSPs and TCSPs.
Malek MouhoubSamira SadaouiAmrudee SukpanPublished in: SEKE (2004)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- arc consistency
- constraint propagation
- hypertree decomposition
- non binary
- backtracking algorithm
- search space
- formal specification
- constraint networks
- symmetry breaking
- distributed constraint satisfaction
- tree decomposition
- partial constraint satisfaction
- constraint programming
- constraint problems
- constraint graph
- solving constraint satisfaction problems
- soft constraints
- np complete
- artificial intelligence
- real world
- data sets