Resolution for quantified Boolean formulas (Q1891159)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Resolution for quantified Boolean formulas
scientific article

    Statements

    Resolution for quantified Boolean formulas (English)
    0 references
    0 references
    0 references
    0 references
    28 May 1995
    0 references
    quantified Boolean formulas
    0 references
    quantified Horn formulas
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references