On a decision procedure for quantified linear programs (Q2462634)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On a decision procedure for quantified linear programs
scientific article

    Statements

    On a decision procedure for quantified linear programs (English)
    0 references
    3 December 2007
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Quantification
    0 references
    Linear programming
    0 references
    Alternating Turing machines
    0 references
    Polynomial-time decidability
    0 references
    coNP-hardness
    0 references
    0 references
    0 references
    0 references