Constraint Satisfaction Problems: Backtrack Search Revisited.
Assef ChmeissLakhdar SaisPublished in: ICTAI (2004)
Keyphrases
- backtrack search
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- np complete
- constraint propagation
- search space
- non binary
- arc consistency
- np hard
- combinatorial problems
- sat problem
- global constraints
- soft constraints
- optimization problems
- sat solvers
- randomly generated
- probabilistic reasoning
- data structure
- solving constraint satisfaction problems
- pseudo boolean optimization