可满足性问题DPLL算法研究概要.docx
- 文档编号:15562669
- 上传时间:2023-07-05
- 格式:DOCX
- 页数:25
- 大小:2.83MB
可满足性问题DPLL算法研究概要.docx
《可满足性问题DPLL算法研究概要.docx》由会员分享,可在线阅读,更多相关《可满足性问题DPLL算法研究概要.docx(25页珍藏版)》请在冰点文库上搜索。
可满足性问题DPLL算法研究概要
复旦大学
硕士学位论文
可满足性问题DPLL算法研究
姓名:
熊伟
申请学位级别:
硕士
专业:
微电子学与固体电子学指导教师:
唐璞山
20070522
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 满足 问题 DPLL 算法 研究 概要
![提示](https://static.bingdoc.com/images/bang_tan.gif)
关于本文