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

【文件属性】：
文件名称：U201814655-杨雨鑫-程序设计综合课程实验报告1
文件大小：1.33MB
文件格式：DOCX
更新时间：2022-08-08 20:22:20
1.1.2 课题意义可满足性(SAT)问题属于命题逻辑的范畴，是约束满足问题的一个分支 1.2 国内外研究现状 当前的SAT问题的算法主要包含两类：局部搜索算法