Técnicas para el manejo de CSPs no binarios.
Miguel A. SalidoPublished in: Inteligencia Artif. (2003)
Keyphrases
- constraint satisfaction problems
- description logics
- constraint satisfaction
- arc consistency
- constraint propagation
- backtracking algorithm
- partial constraint satisfaction
- non binary
- solving constraint satisfaction problems
- constraint networks
- search space
- constraint programming
- constraint problems
- np complete
- symmetry breaking
- forward checking
- hypertree decomposition
- decomposition methods
- tree decomposition
- learning algorithm
- case study
- constraint graph
- sat encodings
- sat problem
- data sets
- distributed environment