A Novel Strategy of Combining Variable Ordering Heuristics for Constraint Satisfaction Problems.
Hongbo LiZhanshan LiPublished in: IEEE Access (2018)
Keyphrases
- constraint satisfaction problems
- variable ordering heuristics
- constraint satisfaction
- search space
- constraint propagation
- constraint programming
- np hard
- non binary
- combinatorial problems
- np complete
- search strategy
- arc consistency
- constraint solving
- constraint networks
- sat problem
- soft constraints
- decomposition methods
- backtracking search
- reasoning problems
- temporal constraints
- path consistency
- symmetry breaking
- forward checking