摘要：為了提高CDCL求解器的求解效率,針對(duì)可滿(mǎn)足性(SAT)問(wèn)題算法中決策變量的選擇問(wèn)題,提出了一種基于加權(quán)決策變量決策層的分支策略。這個(gè)新策略的主要思想是:基于布爾約束傳播(BCP)過(guò)程中的回溯以及重啟機(jī)制,首先考慮變量作為決策變量的次數(shù)以及所在決策層;其次,由于被選擇的次數(shù)以及所在決策層不同,即占權(quán)重不同,對(duì)此進(jìn)行加權(quán);最后,結(jié)合沖突分析過(guò)程,對(duì)不同的變量給予不同的獎(jiǎng)勵(lì)得分。將不同變量在新策略與VSIDS和EVIDS策略中的得分進(jìn)行對(duì)比,采用SATLIB(SAT Little Information Bank)中的大量例子進(jìn)行實(shí)驗(yàn)測(cè)試,結(jié)果表明,新策略能夠減少?zèng)_突次數(shù)以及求解時(shí)間(cpu),提高了求解器的求解效率。