Une représentation déclarative des consistances de CSPs.
Gérard FerrandArnaud LallouetPublished in: JFPLC (2004)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- arc consistency
- constraint propagation
- solving constraint satisfaction problems
- backtracking algorithm
- symmetry breaking
- search space
- tree decomposition
- constraint networks
- partial constraint satisfaction
- hypertree decomposition
- non binary
- real world
- evolutionary algorithm
- constraint problems
- np complete
- np hard
- decision diagrams
- constraint graph
- image sequences
- information retrieval
- distributed constraint satisfaction
- databases