Criticality and Parallelism in GSAT

In this work we show some empirical results on the parallelization of GSAT. We subdivided the set of variables in τ equal subsets and we applied GSAT in parallel on each subset. We observed the existence of an optimum degree of parallelism ((τopt) for which the best performance, in terms of efficiency (time and number of iterations) and effectiveness (fraction of solved instances) is obtained. Moreover, we found that τopt is strictly correlated to the connectivity parameter (q).