Une approche CSP pour l'aide à la localisation d'erreurs.
Mohammed BekkoucheHélène CollavizzaMichel RueherPublished in: CoRR (2014)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- arc consistency
- decomposition methods
- constraint programming
- constraint propagation
- tree decompositions
- arc consistency algorithm
- constraint networks
- tree decomposition
- solving constraint satisfaction problems
- np hard
- video sequences
- closest string
- constraint problems
- information systems
- np complete
- constraint graph
- constraint solving
- lower bound
- non binary
- search space
- special case
- machine learning
- temporal constraints
- hidden markov models