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

Eugene Goldberg

Browse the full CADE paper archive.