数值约束相关论文
面对日益复杂的深空探测任务和动态多变的深空环境,深空探测器需要更高效的任务规划技术以快速生成规划方案.探测器内部各子系统具......
期刊
混合约束问题具有广泛的应用，如分析基于状态的需求规约、生成软件的测试用例、分析并行化的数据相关性问题等等。对于这类问题的求......
