Abstract: Univariate marginal distribution algorithm （UMDA） is a new evolutionary algorithm and is an efficient algorithm for complicate problem. According to the characteristics of SAT problem, an improved UMDA for solving SAT problem （HeUMDASAT） is proposed in th

Key words: Univariate marginal distribution algorithm （UMDA）, Heuristic operator, Satisfiability problem（SAT）