...
机译:使用基于解释的约束编程识别和利用问题结构
Ecole des Mines de Nantes, LINA CNRS FRE 2729, 4 rue Alfred Kastler, BP 20722, F-44307 Nantes Cedex 3, France;
explanations; structures; search heuristics;
机译:在约束编程中利用子问题优势
机译:在约束规划中利用半定松弛
机译:使用约束逻辑编程和程序转换有效生成测试数据结构
机译:使用基于解释的约束编程识别和利用问题结构
机译:识别和利用内存访问特性来预取链接的数据结构。
机译:通过半确定编程从NOESY距离约束确定蛋白质结构
机译:使用基于解释的约束编程识别和利用问题结构