Algorithms for Satisfiability Using Independent Sets of Variables.

Ravi Gummadi N. S. Narayanaswamy Venkatakrishnan Ramaswamy Algorithms for Satisfiability Using Independent Sets of Variables. 133-144 2004 conf/sat/2004lncs SAT (Selected Papers http://dx.doi.org/10.1007/11527695_11 db/conf/sat/sat2004lncs.html#GummadiNV04a