退出
我的积分:
中文文献批量获取
外文文献批量获取
张璐婕; 刘畅; 张龙; 郭阳;
国防科技大学计算机学院 长沙410073;
组合电路; 重汇聚; 瞬态脉冲; SAT求解器; 敏化路径; 输入向量;
机译:一种考虑重汇聚结构的电路信号概率加权平均计算方法
机译:一个可扩展的基于电路的SAT求解器
机译:基于电路的双压整流电路轧制电路的操作分析 - 一种使用矩形波近似的新分析方法的提议
机译:基于电路和基于CNF的基于CNF的算法的优势,高性能SAT求解器
机译:使用基于SAT的重新参数化和自动抽象提炼对大型工业电路进行验证。
机译:使用SAT求解器在功能近似电路中的错误测定标准确定
机译:QuteSAT:基于鲁棒的基于电路的SAT求解器,用于复杂的电路结构
机译:增加用于网络配置/规划的saT求解器
机译:组合物,基于所述组合物的干重,其包含10至70重量%的一种或多种水硬性粘合剂和20至85重量%的一种或多种填料,硬化产品,组合物的用途和0的用途。基于水硬性粘结剂的量,以重量计,一种或多种填料中的至少一种萜类醇为05至5%(重量)
机译:基于解释和真理表分析的SAT求解器
机译:结合应用感知分支的基于DPLL的SAT求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。