退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于测试命题号角公式可满足性的线性时间算法
Dowling William F.; Gallier Jean H.;
机译:命题可满足性:技术,算法和应用
机译:逻辑Ⅱ中的冗余:2CNF和Horn命题公式
机译:用于计算命题公式主干的算法。
机译:多值Horn公式中的可满足性问题
机译:EDA应用程序中的命题可满足性算法。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:测试命题公式可满足性的算法
机译:三指标分配多面体的线性时间分离算法
机译:从命题逻辑论证满意公式的密码学方法
机译:从命题逻辑证明满意公式的密码学方法
机译:在命题可满足性(SAT)问题的实例之间共享信息
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。