U201814655-杨雨鑫-程序设计综合课程实验报告1

【文件属性】：

文件名称：U201814655-杨雨鑫-程序设计综合课程实验报告1

文件大小：1.33MB

文件格式：DOCX

更新时间：2022-08-08 20:22:20

1.1.2 课题意义可满足性(SAT)问题属于命题逻辑的范畴，是约束满足问题的一个分支 1.2 国内外研究现状 当前的SAT问题的算法主要包含两类：局部搜索算法