|
计算机科学 2008
Bayesian Optimization Algorithm for SAT Problem Incorporating Heuristic Operator
|
Abstract:
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...