Zero-One Designs Produce Small Hard SAT Instances.

Allen Van Gelder, Ivor T. A. Spence

Browse the full SAT paper archive.