A improved algorithm for Solving weighted MAX-SAT problems
Song Xiaohua · Computer Programming Skills & Maintenance · 2009
We present a improved algorithm for weighted MAX-SAT, We provide a heuristic for selecting varible and provide a new method for computing lower bound. It made searching tree more efficient.When the number of clauses has increased,the advantage of the novel algorithm will be seen. The novel algorithm is better than a classical algorithm in the aspects of speed, the computing rate and the solvable problem scales.