Building strategies into QBF proofs (Q2031411)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Building strategies into QBF proofs
scientific article

    Statements

    title
    Building strategies into QBF proofs (English)
    0 references
    author
    Olaf Beyersdorff
    0 references
    Joshua Blinkhorn
    0 references
    Meena Mahajan
    0 references
    publication date
    9 June 2021
    0 references
    zbMATH Keywords
    QBF
    0 references
    DQBF
    0 references
    resolution
    0 references
    proof complexity
    0 references
    describes a project that uses
    sKizzo
    0 references
    dCAQE
    0 references
    CAQE
    0 references
    Quaffle
    0 references
    Easychair
    0 references
    HQSpre
    0 references
    cites work
    Q3620436
    0 references
    Q4625702
    0 references
    Q5090460
    0 references
    Lower Bounds
    0 references
    Q3457218
    0 references
    Q5306365
    0 references
    Fast DQBF Refutation
    0 references
    Q3624018
    0 references
    Q4856172
    0 references
    Q5503674
    0 references
    Preprocessing for DQBF
    0 references

    Identifiers

    zbMATH DE Number
    7356969
    0 references
    Wikidata QID
    Q113901241
    0 references
    OpenAlex ID
    W3028147070
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2031411&oldid=38842548"
    Powered by MediaWiki