Strategic CAD Labs, Intel Corporation, Moscow, Russia;
机译:使用布尔可满足性的Via-Aware Dogleg路由
机译:基于多级伪布尔可满足性的分段信道路由方法
机译:使用布尔可满足性在光网络和非光网络中进行路由
机译:Prouding-Invustle标准单元放置算法应用布尔可满足性
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:SPABBATS:一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
机译:基于布尔可满足性的光通信网路由和波长分配问题求解
机译:从布尔表达式到标准单元的技术映射