autonomous search; constraint programming; enumeration strategy; variable ordering heuristic;
机译:解决多维多维选择题模糊问题:多起点局部绑定枚举方法与有效的epsilon约束方法
机译:使用有效的epsilon约束,多起点偏界枚举算法和DEA求解二态多目标可靠性冗余分配串并联问题
机译:解决NHL季后赛资格和淘汰问题的混合约束编程和枚举方法
机译:使用选择函数指导约束求解中的枚举
机译:解决打击部队资产分配问题:具有多项选择约束的0/1多维背包问题的应用。
机译:使用短距离交联约束求解蛋白质结构作为离散分子动力学模拟的指南
机译:解决NHL季后赛资格和淘汰问题的混合约束规划和枚举方法
机译:通过saT求解找到战略证明社会选择功能。