Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points