Indexed by：
Abstract：
局部搜索算法是求解大规模SAT问题的高效算法.经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的.本文提出了用单纯形法产生＂初始概率＂(每个变量取1的概率),用＂初始概率＂对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度.通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率.
Keyword：
Reprint 's Address：
Email：
Version：
Source ：
计算机工程与科学
ISSN： 1007-130X
CN： 43-1258/TP
Year： 2008
Issue： 11
Volume： 30
Page： 50-52,79
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 2
