A Short Implicant of a CNF Formula with Many Satisfying Assignments.

Daniel M. Kane, Osamu Watanabe

Browse the full ISAAC paper archive.