Local search algorithms, particularly Gsat and Wsat, have attracted considerable recent attention, primarily because they are the best known approaches to several hard classes of satissability problems. However , replicating reported results has been diicult because the setting of certain key parameters is something of an art, and because details of the algorithms, not discussed in the publishe...