logic testing; combinational circuits; computational complexity; automatic test pattern generation; data flow graphs; integer programming; linear programming; functional vector generation; combinational circuits; data path coverage metric; mixed integer;
机译:混合整数线性规划在组合逻辑电路最大数据路径覆盖向量的生成中的应用
机译:基于混合整数线性编程的最优沉降路径的建模与仿真
机译:COMSAT:基于支持向量机和混合整数线性规划的跨膜蛋白残基接触预测
机译:基于数据路径覆盖度量和混合整数线性规划的组合电路功能矢量生成
机译:基于混合整数线性规划的数据逻辑分析实现及其应用。
机译:通过混合整数非线性规划自动设计合成基因电路
机译:基于数据路径覆盖度量和混合整数线性规划的组合电路功能矢量生成