A New Variable-Oriented Propagation Scheme for Constraint Satisfaction Problem.
Zhe LiMingqi YangZhanshan LiPublished in: KSEM (2) (2018)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- finite domain
- ordering heuristics
- constraint solving
- constraint programming
- np complete
- non binary
- search space
- np hard
- arc consistency
- constraint networks
- global constraints
- partial constraint satisfaction
- decomposition methods
- product configuration
- hard constraints
- constraint graph
- partial assignment
- soft constraints
- tractable subclasses
- disjunctive temporal
- global consistency
- configuration problems
- solving constraint satisfaction problems
- sat problem