一种采用继承策略的李初民算法的改进

对继承策略在求解 SAT问题的严格算法中如何运用做了初步的研究 ,用继承策略改进了李初民于1 997年提出的一种严格算法。改进后的算法速度提高 5 %左右。