Typical-case complexity and the SAT competitions.

Zoltn dm Mann

Browse the full SAT paper archive.