SOLVING SATISFIABILITY PROBLEM BY WU'S METHOD(II)-EXPERIMENTAL EVALUATION
He Si · Chinese Journal of Computers · 1998
Using random 3-SAT instance model, an experimental evaluation of Wu's method forsolving SAT, and detailed comparisons with semantic resolution, set-of--support resolution and DPalgorithm are presented in this paper, further elaborating the idea of algorithm transform.