Genetic Algorithm for Solving SAT Problems Based on Learning Clause Weights

• 基于子句权重学习的求解SAT问题的遗传算法