Keyphrases
- constraint satisfaction problems
- constraint propagation
- arc consistency
- constraint satisfaction
- von neumann
- non binary
- constraint programming
- intuitionistic logic
- tree decomposition
- constraint problems
- search space
- solving constraint satisfaction problems
- search algorithm
- constraint networks
- soft constraints
- hypertree decomposition
- social networks
- machine learning
- data sets
- partial constraint satisfaction
- symmetry breaking
- path consistency
- temporal constraints
- optimal solution
- neural network