科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:更快地精确求解每变量次数少的saT公式
机译:难得的SAT公式容易识别吗?大子句-变量比下K-SAT消息传递算法的效率
机译:使用SAT解决更快地生成FDR反例
机译:多项式精确3-SAT求解算法
机译:每个变量出现次数少的SAT公式的快速精确求解
机译:用DNA计算机解决n变量3 CNF SAT问题
机译:快速精确/准精确的FBp算法三源螺旋锥束CT
机译:通过对变量出现的单侧限制来解决CNF公式的saT
机译:逻辑公式转换程序,SAT解算器程序和SAT难度评估程序
机译:具有低合成和布局开销的获取SAT求解器体系结构的方法和装置
机译:具有非常低的合成和布局开销的用于SAT求解器体系结构的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。