自动逻辑综合中无冗余覆盖唯一性

机译：无线传感器网络中的最佳k覆盖范围，蜂窝学习自动机没有冗余节点

机译：工业自动化的冗余通信：开发现有的无老板冗余解决方案

机译：自动代码覆盖生成和部分冗余代码获取消除

机译：无冗余判别项集的无参数挖掘的详尽覆盖方法

机译：使用生物信息学方法探索拟南芥中的遗传冗余和唯一性

机译：对Burra等人的修正从PDB中的冗余模型得出的构象状态的全局分布表明蛋白质结构的不唯一性

机译：地下覆盖系统中木薯种植中的土壤无脊椎动物大型无脊椎动物在蔬菜覆盖作物下的木薯种植中的大型无脊椎动物

机译：通过最优逻辑综合的无冗余序列机。

机译：在无模式数据存储中强制属性-值对的唯一性

机译：计算数据对象的唯一性系数，并根据唯一性系数在布局中显示数据对象

机译：自动逻辑综合系统中逻辑变更的方法和系统