Density Condensation of Boolean Formulas.

Youichi Hanatani, Takashi Horiyama, Kazuo Iwama

Browse the full SAT paper archive.