A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints (Q5390018)

From MaRDI portal





scientific article; zbMATH DE number 6027257
Language Label Description Also known as
English
A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints
scientific article; zbMATH DE number 6027257

    Statements

    0 references
    24 April 2012
    0 references
    computational and structural complexity
    0 references
    A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints (English)
    0 references

    Identifiers