An explanation-based tools for debugging constraint satisfaction problems.
Samir OuisMohamed TounsiPublished in: Appl. Soft Comput. (2008)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- constraint propagation
- search space
- non binary
- combinatorial problems
- np complete
- constraint solving
- computational problems
- product configuration
- soft constraints
- constraint optimization
- constraint networks
- arc consistency
- solving constraint satisfaction problems
- arc consistency algorithm
- forward checking
- partial constraint satisfaction
- np hard
- decomposition methods
- sat problem
- global constraints
- constraint problems
- disjunctive temporal
- symmetry breaking
- backtracking search
- phase transition
- disjunctive constraints
- heuristic search
- pseudo boolean optimization