多模式学习与局部搜索相结合求解SAT问题

Multi-Modes Learning and Local Search Combined to Solve SAT

本文探讨了一种对局部搜索中获得的历史信息加以利用的启发式方法 ,即“学习” .给出了三种不同模式的“学习”方法 :确定模式、随机模式和混合模式 .将这些“学习”模式嵌入到局部搜索中 。

A new heuristic method called “learning” is presented, which can make use of the historical information of the local search. Three different learning modes are put forward: deterministic mode, random mode and mixed mode. These learning strategies can be combined with local search to solve the SAT problems, and the experiment results show that they are effective.