退出
我的积分:
中文文献批量获取
外文文献批量获取
文摘
英文文摘
声明
第一章绪 论
1.1研究背景
1.2研究动机
1.3研究的问题
第二章DPLL算法的一种改进方法
2.1可满足公式
2.2 DPLL算法
2.3关键文字及其性质
2.4 DPLL算法的一种改进方法
第三章关键文字和极小不可满足公式
3.1极小不可满足公式
3.2关键文字和极小不可满足公式
3.3关于MU(1)公式的化简算法
全文总结及进一步的工作
致谢
参考文献
附录
张秋菊;
贵州大学;
命题变元; 合取范式; 公式判定; 启发式算法;
机译:(166)Ho到(164)Dy(n,(公式:参见文字))(165)Dy(n,(公式:参见文字))(166)Dy((公式:参见文字)(-)) (166)Ho和(166)Ho的分离。
机译:每个子句具有三个文字的公式的可满足性阈值
机译:对于大多数极大极小问题,目标函数在其极小点处的不可微性
机译:允许取反的模式的不可导项目集和不可导文字集表示
机译:经典和量子不可积分动力学的不可逆性和扩展公式。
机译:三角形格上边等距问题极小化的夏普...公式
机译:证明随机3可满足性公式的不可满足性
机译:C sup N单位球中Delta Delta Bar方程的L-2极小解的公式
机译:一个投资组合安全信封和坚不可摧的物品不可侵犯,内容满足发送或转发邮件的声明值。
机译:高频磁性物质,不可逆零件和不可逆电路成分零组成公式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。