Unified QBF certification and its applications (Q2441712)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unified QBF certification and its applications
scientific article

    Statements

    Unified QBF certification and its applications (English)
    0 references
    0 references
    0 references
    28 March 2014
    0 references
    quantified Boolean formula
    0 references
    resolution
    0 references
    Skolem function
    0 references
    Herbrand function
    0 references
    0 references
    0 references
    0 references

    Identifiers

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