4_求解SAT 问题的拟人退火算法1

【文件属性】：

文件名称：4_求解SAT 问题的拟人退火算法1

文件大小：310KB

文件格式：PDF

更新时间：2022-08-03 18:11:03

摘要该文利用一个简单的变换,将可满足性(SAT)问题转换为一个求相应目标函数最小值的优化问题,提出了一种用于跳出局部陷阱的拟人策略. 基于模拟退火算法和拟人策略