Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems.
Hidemi OgasawaraKiyoshi AkamaYoshinori ShigetaPublished in: IC-AI (2004)
Keyphrases
- constraint satisfaction problems
- transformation rules
- constraint satisfaction
- constraint programming
- np complete
- search space
- constraint propagation
- tractable classes
- non binary
- soft constraints
- np hard
- metamodel
- arc consistency
- search algorithm
- model driven
- database systems
- solving constraint satisfaction problems