...
机译:约束规划中基于前k的自适应枚举
机译:约束规划中基于Top-k的自适应枚举
机译:使用路径枚举和约束编程从行为VHDL程序生成设计验证测试
机译:使用路径枚举和约束编程从行为VHDL程序生成设计验证测试
机译:约束规划中枚举策略的动态选择
机译:凸二次规划和训练支持向量机的自适应约束减少。
机译:在表型限制下针对目标过量生产的最佳基因敲除的自适应双层编程
机译:一种新的约束编程模型和基于线性编程的自适应大邻域搜索与同步约束的车辆路由问题
机译:一种用于整数规划的约束移位算法。