关键词: 约束规划  变量排序启发式  帕累托最优  关联启发式  约束满足问题  

2020年第05期 《计算机工程与应用》

关键词: 子图同构  约束满足问题  对称性破坏  自同构  置换群  

2020年第02期 《计算机工程与设计》

关键词: 约束满足问题  简单表缩减  表约束  广义弧相容  

2019年第11期 《软件学报》

关键词: 子图同构  约束满足问题  有序二叉决策图  弧一致性  

2019年第05期 《桂林电子科技大学学报》

关键词: 分布式电源  复杂配电网  孤岛划分  启发式搜索  

2012年第10期 《智慧电力》

关键词: 自动化软件测试  约束满足问题  前向检测  启发式学习  

2007年第04期 《工程科学与技术》

关键词: 人工智能  约束满足问题  启发式  ac系列算法  约束检查次数  

2018年第02期 《软件工程》

关键词: 面向路径  测试用例生成  约束满足问题  分支限界  爬山法  

2014年第10期

关键词: 约束满足问题  rb模型  相变  置信传播  算法  熵  

2012年第09期

关键词: 人工智能  约束满足问题  维持弧相容  粗粒度算法  哈希算法  唯一  预处理  一致性  冗余  回溯  

2018年第04期 《哈尔滨工程大学学报》

关键词: 跟踪与数据中继卫星系统  活动  资源  约束满足问题  stk  

2005年第02期 《国防科技大学学报》

关键词: 客户需求  类物料清单  配置管理模型  配置约束  约束满足问题  

2019年第08期 《组合机床与自动化加工技术》

关键词: job  shop调度  约束满足问题  工序开始时间窗  概率模型  工序排序启发  开工时间排序启发  

2004年第11期 《系统工程》

关键词: 约束满足问题  产品配置  知识表示  推理  

2004年第02期 《成组技术与生产现代化》

关键词: 动态约束  约束优化分解  约束满足问题  并行工程  约束网络  

2004年第01期 《计算技术与自动化》

关键词: 高校课程编排  约束满足问题  粒子群算法  前行检测算法  

2018年第06期 《计算机应用与软件》

关键词: 约束满足问题  rb模型  模拟退火算法  遗传算法  

2017年第12期 《计算机应用研究》

关键词: 多智能体系统  供应链  约束满足问题  分布式约束满足问题  

2004年第01期 《计算机应用研究》

关键词: 体系结构描述语言  约束满足问题  指令模板库  测试程序生成  

2005年第12期 《软件学报》

关键词: 自适应  adaptivemddc  adaptivestr  

2017年第12期 《软件学报》