Hybrid solving algorithms for an extended dynamic constraint satisfaction problem based configuration system.
Lin WangWee Keong NgPublished in: Concurr. Eng. Res. Appl. (2012)
Keyphrases
- constraint satisfaction problems
- problems in artificial intelligence
- constraint problems
- constraint satisfaction
- dynamic constraint satisfaction problems
- backtracking algorithm
- non binary
- constraint optimization
- finding optimal solutions
- configuration problems
- distributed constraint satisfaction problems
- decomposition methods
- combinatorial problems
- pseudo boolean optimization
- distributed constraint satisfaction
- constraint graph
- forward checking
- random instances
- product configuration
- arc consistency
- combinatorial optimization
- np complete
- heuristic search algorithms
- constraint propagation
- constraint programming
- np hard
- partial constraint satisfaction
- tractable subclasses
- search space
- computational complexity