摘要
讨论了如何利用遗传算法求解布尔表达式的可满足性问题 ,并给出该结果对求解其他NP完全问题时的应用 .
How to solve the Boolean Satisfiability Problem(SAT)by genetic algorithms is discussed.The applications of the results for other NP Complete problems are also shown.
出处
《山东大学学报（理学版）》
CAS
CSCD
北大核心
2001年第2期171-177,共7页
Journal of Shandong University(Natural Science)
基金
国家 8 63 3 0 6主题 ( 863 3 0 6 ZT0 6 0 1 4 )
山东省自然科学基金 (Z99G0 1 )资助项目 .
