Deterministic Search for CNF Satisfying Assignments in Almost Polynomial Time.

Rocco A. Servedio, Li-Yang Tan

Browse the full FOCS paper archive.