4. The D ist algorithm
Based on the ideas from the preceding section, we develop an efficient local search algorithm for solving PMS, which is
called Dist, as it makes effective use of the Distinctions between hard and soft clauses.
4.1. Description of Dist
The Dist algorithm is outlined in Algorithm 1