极小不可满足公式在多项式归约中的应用
精品文档---下载后可任意编辑模型检验及其布尔可满足问题的讨论的开题报告一、讨论背景随着人工智能技术的不断进展，模型检验和布尔可满足...
复旦大学硕士学位论文可满足性问题DPLL算法研究姓名:熊伟申请学位级别:硕士专业:微电子学与固体电子学指导教师:唐璞山20070522
