Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem.
Christian BessièreAssef ChmeissLakhdar SaisPublished in: CP (2001)
Keyphrases
- variable ordering heuristics
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- constraint programming
- np complete
- search space
- combinatorial problems
- search algorithm
- constraint solving
- non binary
- np hard
- arc consistency
- hard constraints
- forward checking
- pseudo boolean optimization
- finite domain
- soft constraints
- global constraints
- temporal constraints
- tractable subclasses
- search strategy