"Algorithms for Satisfiability Using Independent Sets of Variables."

Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics