%0 Journal Article
%T 求解sat问题的分级重排搜索算法
%A 刘涛？
%A 李国杰？
%J 软件学报
%P 201-210
%D 1996
%X 局部搜索法在ｓａｔ问题上的成功运用已引起越来越广泛的重视，然而，它在面对不可满足问题例时的局限性不能不被考虑．分级重排搜索算法ｍｓｒａ（ｍｕｌｔｉ－ｓｔａｇｅｓｅａｒｃｈｒｅａｒｒａｎｇｅ－ｍｅｎｔａｌｇｏｒｉｔｈｍ）正是为克服局部搜索法的不完备性而提出的，准确地讲，它是几种算法在思想上的集成，但为明确起见，把其最典型的分级重排过程作为名称．分级重排搜索算法在求解ｓａｔ问题时，能表现出优于单一求解策略（如局部搜索法或回溯算法）的明显特性．由于可根据约束条件的强弱来估计ｓａｔ问题例的可满足性，因此能够以此来确定更有效的求解策略．
%K 3－sat问题
%K 局部搜索
%K 回溯算法
%K 分级重排
%K d－p算法
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960402&flag=1