Algorithms for Satisfiability using Independent Sets of Variables.

Ravi Gummadi N. S. Narayanaswamy Venkatakrishnan Ramaswamy Algorithms for Satisfiability using Independent Sets of Variables. 2004 conf/sat/2004 SAT http://www.satisfiability.org/SAT04/programme/31.pdf db/conf/sat/sat2004.html#GummadiNV04