基于DPLL的混合遗传算法求解SAT问题

王晓峰, 许道云, 唐瑞雪

A Hybrid Genetic Algorithm Based on DPLL for Solving the SAT Problem

WANG Xiaofeng, XU Daoyun, TANG Ruixue

计算机工程与科学 . 2010, (5): 54 -56 .