Algorithms for Satisfiability using Independent Sets of Variables.

Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy

Browse the full SAT paper archive.