ByNobleID
    Lower bounds for width-restricted clause learning on formulas of small width | NobleID