基于子句权重求解SAT问题的中期报告

基于子句权重求解SAT问题的中期报告一、研究问题与目的本次研究的问题是基于子句权重求解SAT问题。具体目的是通过研究和实践，探究基于子句权重的SAT求解方法在实际应用中的效果和运算时间等问题，探索其优