Mining circuit lower bound proofs for meta-algorithms (Q2351392): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/s00037-015-0100-0 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S00037-015-0100-0 / rank
 
Normal rank

Latest revision as of 03:44, 18 December 2024

scientific article
Language Label Description Also known as
English
Mining circuit lower bound proofs for meta-algorithms
scientific article

    Statements

    Mining circuit lower bound proofs for meta-algorithms (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    23 June 2015
    0 references
    average-case circuit lower bounds
    0 references
    circuit-SAT algorithms
    0 references
    compression
    0 references
    meta-algorithms
    0 references
    natural property
    0 references
    random restrictions
    0 references
    shrinkage of De Morgan formulas
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers