On O(Tlog T) reduction from RAM computations to satisfiability (Q758197)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On O(Tlog T) reduction from RAM computations to satisfiability
scientific article

    Statements

    On O(Tlog T) reduction from RAM computations to satisfiability (English)
    0 references
    1991
    0 references
    satisfiability
    0 references
    random access machines
    0 references
    reduction
    0 references

    Identifiers