Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750)

From MaRDI portal
scientific article; zbMATH DE number 7731913
Language Label Description Also known as
English
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
scientific article; zbMATH DE number 7731913

    Statements

    Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (English)
    0 references
    0 references
    0 references
    0 references
    26 August 2023
    0 references
    0 references
    CDCL
    0 references
    QBF
    0 references
    QCDCL
    0 references
    proof complexity
    0 references
    resolution
    0 references
    Q-resolution
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references