Keyphrases
- real time
- backtracking algorithm
- partial constraint satisfaction
- constraint satisfaction problems
- online learning
- constraint problems
- search space
- arc consistency
- distributed constraint satisfaction problems
- social networks
- solving constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- dynamic constraint satisfaction problems
- distributed constraint satisfaction
- sat encodings
- graphics hardware
- constraint networks
- randomly generated
- linear programming
- high speed
- learning algorithm