Satellites Scheduling Algorithm Based on Dynamic Constraint Satisfaction Problem.
Baolin SunWenxiang WangQianqing QiPublished in: CSSE (4) (2008)
Keyphrases
- scheduling algorithm
- constraint satisfaction problems
- constraint satisfaction
- response time
- constraint propagation
- constraint solving
- non binary
- constraint programming
- search space
- np complete
- scheduling strategy
- dynamic constraint satisfaction problems
- distributed constraint satisfaction problems
- constraint networks
- pseudo boolean optimization
- reasoning problems
- np hard
- decomposition methods
- soft constraints
- hard constraints
- arc consistency
- heuristic search
- constraint graph
- sat solvers
- benchmark problems
- disjunctive constraints