Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width.

Eli Ben-Sasson, Jan Johannsen

Browse the full IJCAI paper archive.