Solving SAT By Computing A Stable Set Of Points In Clusters

Eugene Goldberg

Earlier we introduced the notion of a stable set of points (SSP). We proved that a CNF formula is unsatisfiable iff there is a set of points (i.e. complete assignments) that is sta…