No label defined (Q3827800)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    1984
    0 references
    average complexity
    0 references
    pure literal heuristic
    0 references
    Davis-Putnam
    0 references
    procedure
    0 references
    satisfiability problem
    0 references
    probabilistic analysis
    0 references
    polynomial time
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references