当前位置:文档之家 > 基于SAT的有界模型检测及其应用研究

基于SAT的有界模型检测及其应用研究

中山大学

博士学位论文

基于SAT的有界模型检测及其应用研究

姓名:杨晋吉

申请学位级别:博士

专业:计算机软件与理论

指导教师:苏开乐

20080601

下载Word文档免费下载:

基于SAT的有界模型检测及其应用研究下载

(共109页)