A linear-time algorithm for testing the truth of certain quantified Boolean formulas (Q1254112)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A linear-time algorithm for testing the truth of certain quantified Boolean formulas
scientific article

    Statements

    A linear-time algorithm for testing the truth of certain quantified Boolean formulas (English)
    0 references
    0 references
    0 references
    0 references
    1979
    0 references
    0 references
    Linear-Time Algorithm
    0 references
    Testing the Truth of Quantified Boolean Formulas
    0 references
    Finding Strongly Connected
    0 references
    Components of a Directed Graph
    0 references
    0 references
    0 references