约束编程相关论文
随着我国航天产业的不断发展,如何高效管理大规模的航天测控资源、为航天产业提供高效地面测控服务面临巨大挑战。多星测控资源调......
约束编程(CP)是用于建模和求解组合约束问题的通用且灵活的框架。表约束(也称为扩展约束)明确表示它们所涉及的变量的值的允许组合......
约束传播作为约束编程的关键方法,在许多工业应用中被广泛使用,例如在设计与配置问题,数据库问题,参数选择建模问题,调度问题中已......
