An Exponential Lower Bound for Width-Restricted Clause Learning.

Jan Johannsen

Browse the full SAT paper archive.