Normalform-Transformationen für CSP-Programme.
Dieter ZöbelPublished in: Inform. Forsch. Entwickl. (1988)
Keyphrases
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- decomposition methods
- arc consistency
- constraint programming
- constraint solving
- higher education
- constraint networks
- tree decomposition
- tree decompositions
- non binary
- np hard
- distance learning
- np complete
- arc consistency algorithm
- solving constraint satisfaction problems
- neural network
- soft constraints
- decision trees
- information systems
- closest string