基于子句权重求解SAT问题的综述报告

基于子句权重求解SAT问题的综述报告SAT问题，即命题可满足性问题，是一种NP完全问题，它的求解过程涉及到对多个布尔变量的取值进行定向，使得布尔公式得出true或false的结果。由于SAT问题的求解