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 proposed for efficiently solving the SAT problem. An intuitive explanation is given for the Bart Selman random walk strategy. A new algorithm, Solar, was devised by combining these strategies. The new algorithm is shown to be both faster and stabler than the heretofore best algorithm.