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

Open in new window