Lower bounds for k-DNF resolution on random 3-CNFs (Q3581425)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lower bounds for k-DNF resolution on random 3-CNFs
scientific article

    Statements