Solving QSAT in sublinear depth (Q2328327)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Solving QSAT in sublinear depth
scientific article

    Statements

    Solving QSAT in sublinear depth (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    10 October 2019
    0 references

    Identifiers