Guiding Search by Singleton-Domain Variables for Constraint Satisfaction Problem.
Yi-Jun LiuPublished in: J. Softw. (2016)
Keyphrases
- constraint satisfaction problems
- search space
- constraint satisfaction
- partial assignment
- forward checking
- constraint propagation
- constraint problems
- variable ordering heuristics
- finite domain
- search problems
- constraint solver
- soft constraints
- search algorithm
- np complete
- constraint programming
- constraint solving
- distributed constraint satisfaction
- symmetry breaking
- search strategy
- search strategies
- constraint graph
- non binary
- variable ordering
- heuristic search
- np hard
- consistency maintenance
- symmetry breaking constraints
- binary constraints
- product configuration
- constraint networks
- domain independent
- configuration problems
- decomposition methods
- tree search
- ordering heuristics