A Generalization of the Satisfiability Coding Lemma and Its Applications.

Milan Moss, Harry Sha, Li-Yang Tan

Browse the full SAT paper archive.