Lexicographically-ordered constraint satisfaction problems.
Eugene C. FreuderRobert HeffernanRichard J. WallaceNic WilsonPublished in: Constraints An Int. J. (2010)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- np complete
- constraint programming
- search space
- non binary
- constraint solving
- computational problems
- np hard
- arc consistency
- combinatorial problems
- pseudo boolean optimization
- solving constraint satisfaction problems
- finite domain
- constraint networks
- backtracking search
- arithmetic constraints
- decomposition methods
- sat problem
- product configuration
- global constraints
- disjunctive temporal
- constraint graph
- configuration problems
- optimal solution