机译:用于生成高质量转换测试的整数编程公式
School of Information Science, Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan;
School of Information Science, Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan;
combinational circuit; test generation; high quality transition test; integer linear programming; minimum test set;
机译:用于生成高质量转换测试的整数编程公式
机译:用于生成高质量转换测试的整数编程公式
机译:用于生成高质量转换测试的整数编程公式
机译:用于生成共享压力制动设置的混合整数编程公式
机译:整数编程配方,用于争用为无线多跳网络中的主导主导集合
机译:通过对蛋白质组学数据使用整数线性规划优化公式通过途径改变识别药物作用
机译:生成多目标整数和混合整数编程问题的静脉前线的算法
机译:UImIp和mTRX用户指南。混合整数线性规划和矩阵生成程序包