%0 Journal Article
%T Bayesian Optimization Algorithm for SAT Problem Incorporating Heuristic Operator<br>结合启发式算子的单变量边缘分布算法求解SAT问题
%A WU Yan
%A WANG Yu-ping
%A LIU Xiao-xiong
%A <br>武燕
%A 王宇平
%A 刘小雄
%J 计算机科学
%D 2008
%I 
%X Univariate marginal distribution algorithm(UMDA)is a new evolutionary algorithm and is an efficient algo- rithm for complicate problem.According to the characteristics of SAT problem,an improved UMDA for solving SAT problem(HeUMDASAT)is proposed in this paper.A new heuristic operator is presented by combing the structure in- formation of SAT problem with the global information extracted from promising individuals of current population.Dif- ferent from the stochastic searching operator,the heuristic operator...
%K Univariate marginal distribution algorithm(UMDA)
%K Heuristic operator
%K Satisfiability problem(SAT)<br>单变量边缘分布算法
%K 启发算子
%K SAT问题
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=FE59F53A456DA582F5C4E2475919A308&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=94C357A881DFC066&sid=1D67BE204FBF4800&eid=8B59EA573021D671&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=9