ATPG; Boolean satisfiability; pseudo Boolean optimization; reversible circuits; test;
机译:使用伪布尔可满足性的最大电路活动估计
机译:图的加权稳定性数和加权可满足性:伪布尔优化的两个方面
机译:同步布尔电路的可靠性算法
机译:使用仿真,布尔可满足和伪布尔优化的可逆电路ATPG
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:SPABBATS:一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
机译:aTpG用于可逆电路,使用模拟,布尔可满足性和伪布尔优化
机译:随机伪布尔优化。