The basic constraints for the scheduling problem of agile satellites were analyzed, and then a constraint satisfaction model was established.
本文分析了灵巧卫星调度问题的约束条件，建立了灵巧卫星调度的约束满足模型。
A constraint satisfaction model is given. A hybrid solving algorithm is designed based on constraint satisfaction and heuristics node exchange algorithm.
给出板坯排序问题的约束满足模型，设计了基于约束满足和启发式混合求解算法。
The hot-rolling batch planning problem is treated as a constraint satisfaction problem. A VRPSTW constraint satisfaction model with uncertain rolling plan number is established.
将热轧批量计划问题作为一个约束满足问题处理，建立不确定计划数的VRPSTW约束满足模型。
应用推荐