Evolutionary algorithm based on cloud model to solve 3-SAT problem. - Meiyun Du; Yong Ge; Chengshui Nui; Yu-an Zhang 026 (CISP-BMEI, 2017)