Princeton Univ., NJ, USA;
机译:使用可配置计算来加速布尔可满足性
机译:特定领域可重构计算的架构空间探索技术的实现和验证
机译:用于视觉计算的具体域语言技术:综合研究
机译:使用可重构计算技术加速CAD领域中的问题:具有布尔可满足性的案例研究
机译:使用可配置计算来加快布尔可满足性。
机译:SPABBATS:一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
机译:使用可重构计算技术加速CAD领域中的问题:具有布尔可满足性的案例研究
机译:利用多域光谱技术计算涡轮叶栅三维粘性流动的计算研究