An improved deterministic \#SAT algorithm for small De Morgan formulas (Q334923)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An improved deterministic \#SAT algorithm for small De Morgan formulas
scientific article

    Statements

    An improved deterministic \#SAT algorithm for small De Morgan formulas (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1 November 2016
    0 references
    De Morgan formulas
    0 references
    random restrictions
    0 references
    shrinkage exponent
    0 references
    concentrated shrinkage
    0 references
    algorithms from circuit lower bounds
    0 references
    deterministic \#SAT algorithms
    0 references

    Identifiers