Quasiphysical and quasisociological algorithm - Solar for solving SAT problem

Using both quasiphysical and quasisociological methods, in conjunction with an inheriting strategy, a new way strategy and a pardon strategy was propo sed for efficiently solving the SAT problem, An intuitive explanation is gi ven for the Bart Selman random walk strategy. A new algorithm, Solar, was d evised by combining these strategies. The new algorithm is shown to be both faster and stabler than the heretofore best algorithm.